Anne is blue. Anne is furry. Anne is quiet. Anne is white. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is not red. Harry is white. All blue people are cold. All red people are cold. If someone is red then they are blue. If someone is blue and not cold then they are white. All red, white people are quiet. If someone is furry and not cold then they are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is not red.
("Harry" "is" "red" "-")
Harry is white.
("Harry" "is" "white" "+")
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and not cold then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "white" "+"))
All red, white people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry and not cold then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "nice" "+"))
Harry is quiet.
True
1
proof
[(triple8)]
("Harry" "is" "quiet" "+")
triple8
Anne is not white.
False
1
inv-proof
[(triple4)]
("Anne" "is" "white" "-")
triple4
Harry is cold.
True
2
proof
[(((triple5) -> rule1))]
("Harry" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "nice" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Harry is blue.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)] Harry is not red.[(triple9)] Harry is quiet.[(triple8)] Harry is white.[(triple10)] @1: Anne is cold.[(((triple1) -> rule1))] Harry is cold.[(((triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Harry is not red.
("Harry" "is" "red" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1