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