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