Charlie is red. Charlie is round. Erin is big. Fiona is kind. Fiona is nice. Fiona is quiet. Harry is red. All quiet people are furry.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
All quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Fiona is not nice.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "nice" "-")
triple5
Fiona is furry.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "furry" "-")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "furry" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Charlie is red.[(triple1)] Charlie is round.[(triple2)] Erin is big.[(triple3)] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Harry is red.[(triple7)] @1: Fiona is furry.[(((triple6) -> rule1))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1