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