Anne is big. Anne is cold. Anne is green. Anne is not kind. Anne is red. Anne is rough. Anne is round. Dave is not big. Dave is not green. Dave is red. Dave is rough. Dave is round. Green people are red.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is not green.
("Dave" "is" "green" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Green people are red.
((("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Dave is not big.
True
1
proof
[(triple8)]
("Dave" "is" "big" "-")
triple8
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is not kind.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule1))] Anne is rough.[(triple6)] Anne is round.[(triple7)] Dave is not big.[(triple8)] Dave is not green.[(triple9)] Dave is red.[(triple10)] Dave is rough.[(triple11)] Dave is round.[(triple12)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is round.
("Anne" "is" "round" "+")
triple7
Dave is not big.
("Dave" "is" "big" "-")
triple8
Dave is not green.
("Dave" "is" "green" "-")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple11
Dave is round.
("Dave" "is" "round" "+")
triple12