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