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