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