Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is rough. Anne is white. Bob is big. Bob is not cold. Bob is furry. Bob is kind. Bob is rough. Bob is not white. Charlie is big. Charlie is blue. Charlie is white. All white people are furry. If Bob is rough then Bob is big.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not white.
("Bob" "is" "white" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is white.
("Charlie" "is" "white" "+")
All white people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
If Bob is rough then Bob is big.
((("Bob" "is" "rough" "+")) -> ("Bob" "is" "big" "+"))
Anne is rough.
True
1
proof
[(triple5)]
("Anne" "is" "rough" "+")
triple5
Bob is not rough.
False
1
inv-proof
[(triple11)]
("Bob" "is" "rough" "-")
triple11
Charlie is furry.
True
2
proof
[(((triple15) -> rule1))]
("Charlie" "is" "furry" "+")
((triple15) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple15) -> rule1))]
("Charlie" "is" "furry" "-")
((triple15) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple6) -> rule1))] Anne is kind.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Bob is big.[(triple7 OR ((triple11) -> rule2))] Bob is furry.[(triple9)] Bob is kind.[(triple10)] Bob is not cold.[(triple8)] Bob is not white.[(triple12)] Bob is rough.[(triple11)] Charlie is big.[(triple13)] Charlie is blue.[(triple14)] Charlie is white.[(triple15)] @1: Charlie is furry.[(((triple15) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple6) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Bob is big.
("Bob" "is" "big" "+")
triple7
((triple11) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple10
Bob is not cold.
("Bob" "is" "cold" "-")
triple8
Bob is not white.
("Bob" "is" "white" "-")
triple12
Bob is rough.
("Bob" "is" "rough" "+")
triple11
Charlie is big.
("Charlie" "is" "big" "+")
triple13
Charlie is blue.
("Charlie" "is" "blue" "+")
triple14
Charlie is white.
("Charlie" "is" "white" "+")
triple15
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple15) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1