Anne is big. Anne is green. Anne is red. Anne is round. Anne is smart. Fiona is smart. Fiona is white. All kind, green people are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All kind, green people are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Fiona is not smart.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "smart" "-")
triple6
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7