Anne is green. Anne is quiet. Charlie is cold. Charlie is not nice. Harry is not furry. Harry is quiet. Harry is round. If Anne is furry and Anne is cold then Anne is nice. If Anne is nice and Anne is cold then Anne is quiet. All cold people are not quiet. If someone is round and not cold then they are green. All furry people are green. All big people are round. If someone is big and not quiet then they are not round. If someone is nice and not big then they are round.
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If Anne is furry and Anne is cold then Anne is nice.
((("Anne" "is" "furry" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "nice" "+"))
If Anne is nice and Anne is cold then Anne is quiet.
((("Anne" "is" "nice" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "quiet" "+"))
All cold people are not quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "-"))
If someone is round and not cold then they are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "green" "+"))
All furry people are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and not quiet then they are not round.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "round" "-"))
If someone is nice and not big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "round" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple2)]
("Anne" "is" "quiet" "-")
triple2
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Charlie is cold.[(triple3)] Charlie is not nice.[(triple4)] Harry is not furry.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Charlie is not quiet.[(((triple3) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple4
Harry is not furry.
("Harry" "is" "furry" "-")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
((triple3) -> (rule3 % int1))
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
int1