Anne is big. Anne is not green. Anne is round. Anne is smart. Dave is big. Dave is rough. Dave is smart. All round things are red. All young, smart things are not round.
Anne is big.
("Anne" "is" "big" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
All young, smart things are not round.
((("something" "is" "young" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "-"))
Dave is big.
True
1
proof
[(triple5)]
("Dave" "is" "big" "+")
triple5
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is red.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "red" "+")
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "red" "-")
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is round.[(triple3)] Anne is smart.[(triple4)] Dave is big.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] @1: Anne is red.[(((triple3) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Anne is red.
("Anne" "is" "red" "+")
((triple3) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1