Anne is furry. Bob is big. Erin is blue. Fiona is round. Blue people are round. Blue people are rough. If someone is furry and smart then they are rough. If Bob is round and Bob is blue then Bob is furry. All rough people are blue. If Anne is rough and Anne is furry then Anne is blue. If Bob is red and Bob is not rough then Bob is not big. All big people are not red.
Anne is furry.
("Anne" "is" "furry" "+")
Bob is big.
("Bob" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is furry and smart then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
If Bob is round and Bob is blue then Bob is furry.
((("Bob" "is" "round" "+") ("Bob" "is" "blue" "+")) -> ("Bob" "is" "furry" "+"))
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If Anne is rough and Anne is furry then Anne is blue.
((("Anne" "is" "rough" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "blue" "+"))
If Bob is red and Bob is not rough then Bob is not big.
((("Bob" "is" "red" "+") ("Bob" "is" "rough" "~")) -> ("Bob" "is" "big" "-"))
All big people are not red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "-"))
Erin is blue.
True
1
proof
[(triple3)]
("Erin" "is" "blue" "+")
triple3
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Erin is round.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "round" "+")
((triple3) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is red.
False
2
inv-proof
[(((triple2) -> rule8))]
("Bob" "is" "red" "+")
((triple2) -> (rule8 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Anne is not rough.
Unknown
inv-rconc
[@3: Anne is rough.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule3 <- FAIL)]]
("Anne" "is" "rough" "-")
Bob is furry.
Unknown
rconc
[@3: Bob is furry.[CWA. Example of deepest failure = (rule4 <- rule5 <- rule2 <- FAIL)]]
("Bob" "is" "furry" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is furry.[(triple1)] Bob is big.[(triple2)] Erin is blue.[(triple3)] Fiona is round.[(triple4)] @1: Bob is not red.[(((triple2) -> rule8))] Erin is rough.[(((triple3) -> rule2))] Erin is round.[(((triple3) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Bob is not red.
("Bob" "is" "red" "-")
((triple2) -> (rule8 % int1))
Bob is not red.
("Bob" "is" "red" "-")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1