Anne is big. Anne is green. Bob is cold. Bob is rough. Bob is white. Erin is big. Erin is green. Harry is cold. Harry is furry. Harry is red. Harry is rough. Harry is white. If Erin is red and Erin is furry then Erin is green. If Erin is big then Erin is green. All red, white people are furry. If Harry is red and Harry is rough then Harry is furry. If Anne is white and Anne is red then Anne is big. If Harry is red then Harry is rough. Red people are green. All big people are red.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If Erin is red and Erin is furry then Erin is green.
((("Erin" "is" "red" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "green" "+"))
If Erin is big then Erin is green.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "green" "+"))
All red, white people are furry.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Harry is red and Harry is rough then Harry is furry.
((("Harry" "is" "red" "+") ("Harry" "is" "rough" "+")) -> ("Harry" "is" "furry" "+"))
If Anne is white and Anne is red then Anne is big.
((("Anne" "is" "white" "+") ("Anne" "is" "red" "+")) -> ("Anne" "is" "big" "+"))
If Harry is red then Harry is rough.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "rough" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Harry is red.
True
1
proof
[(triple10)]
("Harry" "is" "red" "+")
triple10
Harry is not cold.
False
1
inv-proof
[(triple8)]
("Harry" "is" "cold" "-")
triple8
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "red" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((((triple1) -> rule8)) -> rule7))] Bob is cold.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Erin is big.[(triple6)] Erin is green.[(triple7 OR ((triple6) -> rule2) OR ((((triple6) -> rule8)) -> rule7))] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple10 triple11) -> rule4) OR ((triple10 triple12) -> rule3) OR ((triple10 ((triple10) -> rule6)) -> rule4))] Harry is red.[(triple10)] Harry is rough.[(triple11 OR ((triple10) -> rule6))] Harry is white.[(triple12)] @1: Anne is red.[(((triple1) -> rule8))] Erin is red.[(((triple6) -> rule8))] Harry is green.[(((triple10) -> rule7))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple6) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
((triple10 triple11) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple10 triple12) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple10 ((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple12
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule8 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple6) -> (rule8 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1