Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Bob is blue. Bob is cold. Bob is nice. Bob is white. Gary is big. Gary is blue. Gary is cold. Gary is quiet. Gary is white. White, blue things are kind. If Bob is big then Bob is white. Kind things are big. If something is big and white then it is kind. If something is white and quiet then it is kind. If something is cold then it is nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
White, blue things are kind.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If Bob is big then Bob is white.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "white" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is big and white then it is kind.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If something is white and quiet then it is kind.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Gary is nice.
True
2
proof
[(((triple13) -> rule6))]
("Gary" "is" "nice" "+")
((triple13) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not nice.
False
2
inv-proof
[(((triple13) -> rule6))]
("Gary" "is" "nice" "-")
((triple13) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is big.
True
4
proof
[(((((triple10 triple7) -> rule1)) -> rule3))]
("Bob" "is" "big" "+")
((((triple10 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not big.
False
4
inv-proof
[(((((triple10 triple7) -> rule1)) -> rule3))]
("Bob" "is" "big" "-")
((((triple10 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple6 triple5) -> rule5)) -> rule3))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple1 triple6) -> rule4) OR ((triple6 triple5) -> rule5))] Anne is nice.[(triple4 OR ((triple2) -> rule6))] Anne is quiet.[(triple5)] Anne is white.[(triple6)] Bob is blue.[(triple7)] Bob is cold.[(triple8)] Bob is nice.[(triple9 OR ((triple8) -> rule6))] Bob is white.[(triple10)] Gary is big.[(triple11 OR ((((triple15 triple12) -> rule1)) -> rule3) OR ((((triple15 triple14) -> rule5)) -> rule3))] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] @1: Bob is kind.[(((triple10 triple7) -> rule1))] Gary is kind.[(((triple11 triple15) -> rule4) OR ((triple15 triple12) -> rule1) OR ((triple15 triple14) -> rule5))] Gary is nice.[(((triple13) -> rule6))] @2: Bob is big.[(((((triple10 triple7) -> rule1)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple3) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple6 triple5) -> (rule5 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1 triple6) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple6 triple5) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple4
((triple2) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is nice.
("Bob" "is" "nice" "+")
triple9
((triple8) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
((((triple15 triple12) -> (rule1 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple15 triple14) -> (rule5 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Bob is kind.
("Bob" "is" "kind" "+")
((triple10 triple7) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple11 triple15) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple15 triple12) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple15 triple14) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple13) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((((triple10 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2