Charlie is quiet. Erin is not big. Erin is rough. Furry, big people are rough. All smart, big people are rough. Furry, quiet people are not smart.
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Furry, big people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All smart, big people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Furry, quiet people are not smart.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "-"))
Erin is not big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "-")
triple2
Charlie is not quiet.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "quiet" "-")
triple1
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is quiet.[(triple1)] Erin is not big.[(triple2)] Erin is rough.[(triple3)]
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple1
Erin is not big.
("Erin" "is" "big" "-")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3