Charlie is big. Charlie is furry. Charlie is rough. Charlie is smart. Erin is furry. Harry is green. Harry is rough. If Charlie is furry and Charlie is green then Charlie is not blue. If someone is furry and not rough then they are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Charlie is furry and Charlie is green then Charlie is not blue.
((("Charlie" "is" "furry" "+") ("Charlie" "is" "green" "+")) -> ("Charlie" "is" "blue" "-"))
If someone is furry and not rough then they are big.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Charlie is not smart.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "smart" "-")
triple4
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Erin is furry.[(triple5)] Harry is green.[(triple6)] Harry is rough.[(triple7)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7