Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is round. Anne is white. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is round. Erin is cold. Erin is green. Erin is kind. Erin is round. White people are big. If Anne is white then Anne is round. All green, round people are 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 round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
White people are big.
((("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If Anne is white then Anne is round.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "round" "+"))
All green, round people are big.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Anne is green.
True
1
proof
[(triple4)]
("Anne" "is" "green" "+")
triple4
Dave is not cold.
False
1
inv-proof
[(triple8)]
("Dave" "is" "cold" "-")
triple8
Erin is not white.
Unknown
inv-random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Anne is big.[(triple1 OR ((triple6) -> rule1) OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple6) -> rule2)) -> rule3))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule2))] Anne is white.[(triple6)] Dave is big.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is kind.[(triple10)] Dave is round.[(triple11)] Erin is cold.[(triple12)] Erin is green.[(triple13)] Erin is kind.[(triple14)] Erin is round.[(triple15)] @1: Erin is big.[(((triple13 triple15) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple6) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple4 triple5) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((triple4 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple6) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
triple11
Erin is cold.
("Erin" "is" "cold" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is round.
("Erin" "is" "round" "+")
triple15
Erin is big.
("Erin" "is" "big" "+")
((triple13 triple15) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1