Bob is cold. Charlie is not cold. Charlie is kind. Charlie is not quiet. Charlie is not white. Harry is not big. Harry is kind. Harry is quiet. Harry is red. Harry is not white. Red, big people are not white. Smart people are big. If Harry is not cold then Harry is red. If Charlie is kind and Charlie is white then Charlie is big. If someone is big and not red then they are quiet. Cold people are quiet.
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Harry is not big.
("Harry" "is" "big" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is not white.
("Harry" "is" "white" "-")
Red, big people are not white.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "white" "-"))
Smart people are big.
((("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If Harry is not cold then Harry is red.
((("Harry" "is" "cold" "~")) -> ("Harry" "is" "red" "+"))
If Charlie is kind and Charlie is white then Charlie is big.
((("Charlie" "is" "kind" "+") ("Charlie" "is" "white" "+")) -> ("Charlie" "is" "big" "+"))
If someone is big and not red then they are quiet.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "quiet" "+"))
Cold people are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Harry is kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "+")
triple7
Harry is not kind.
False
1
inv-proof
[(triple7)]
("Harry" "is" "kind" "-")
triple7
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is cold.[(triple1)] Charlie is kind.[(triple3)] Charlie is not cold.[(triple2)] Charlie is not quiet.[(triple4)] Charlie is not white.[(triple5)] Harry is kind.[(triple7)] Harry is not big.[(triple6)] Harry is not white.[(triple10)] Harry is quiet.[(triple8)] Harry is red.[(triple9)] @1: Bob is quiet.[(((triple1) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple2
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is not big.
("Harry" "is" "big" "-")
triple6
Harry is not white.
("Harry" "is" "white" "-")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1