Anne is not round. Bob is furry. Bob is green. Bob is quiet. Bob is not white. Erin is cold. Erin is green. Cold, round people are not furry. If someone is quiet then they are round. If Erin is round and Erin is not quiet then Erin is green. If someone is white and quiet then they are big. If someone is round then they are big. If Anne is big then Anne is not green. If Erin is big and Erin is not cold then Erin is not furry. If Erin is quiet and Erin is not round then Erin is white.
Anne is not round.
("Anne" "is" "round" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not white.
("Bob" "is" "white" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Cold, round people are not furry.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "-"))
If someone is quiet then they are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If Erin is round and Erin is not quiet then Erin is green.
((("Erin" "is" "round" "+") ("Erin" "is" "quiet" "~")) -> ("Erin" "is" "green" "+"))
If someone is white and quiet then they are big.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is round then they are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If Anne is big then Anne is not green.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "green" "-"))
If Erin is big and Erin is not cold then Erin is not furry.
((("Erin" "is" "big" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "furry" "-"))
If Erin is quiet and Erin is not round then Erin is white.
((("Erin" "is" "quiet" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "white" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Erin is not cold.
False
1
inv-proof
[(triple6)]
("Erin" "is" "cold" "-")
triple6
Bob is round.
True
2
proof
[(((triple4) -> rule2))]
("Bob" "is" "round" "+")
((triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple4) -> rule2))]
("Bob" "is" "round" "-")
((triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "white" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "big" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is not round.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is not white.[(triple5)] Bob is quiet.[(triple4)] Erin is cold.[(triple6)] Erin is green.[(triple7)] @1: Bob is round.[(((triple4) -> rule2))] @2: Bob is big.[(((((triple4) -> rule2)) -> rule5))]
Anne is not round.
("Anne" "is" "round" "-")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not white.
("Bob" "is" "white" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2