Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is red. Anne is white. Bob is big. Bob is white. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is red. If something is big and quiet then it is white. If something is cold and quiet then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
If something is big and quiet then it is white.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is cold and quiet then it is big.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Erin is green.
True
1
proof
[(triple13)]
("Erin" "is" "green" "+")
triple13
Erin is not red.
False
1
inv-proof
[(triple15)]
("Erin" "is" "red" "-")
triple15
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((triple2 triple5) -> rule2))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is white.[(triple7 OR ((triple1 triple5) -> rule1) OR ((((triple2 triple5) -> rule2) triple5) -> rule1))] Bob is big.[(triple8)] Bob is white.[(triple9)] Erin is big.[(triple10 OR ((triple11 triple14) -> rule2))] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is quiet.[(triple14)] Erin is red.[(triple15)] @1: Erin is white.[(((triple10 triple14) -> rule1) OR ((((triple11 triple14) -> rule2) triple14) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2 triple5) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple1 triple5) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple2 triple5) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
((triple11 triple14) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
((triple10 triple14) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple11 triple14) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2