Anne is green. Fiona is nice. Blue, red people are big. If Anne is green and Anne is red then Anne is furry.
Anne is green.
("Anne" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Blue, red people are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If Anne is green and Anne is red then Anne is furry.
((("Anne" "is" "green" "+") ("Anne" "is" "red" "+")) -> ("Anne" "is" "furry" "+"))
Fiona is nice.
True
1
proof
[(triple2)]
("Fiona" "is" "nice" "+")
triple2
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is green.[(triple1)] Fiona is nice.[(triple2)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2