Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is not rough. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Erin is not blue. Erin is not furry. Erin is nice. Erin is not rough. Gary is blue. Gary is not cold. Gary is not nice. If someone is furry then they are cold. If Anne is furry and Anne is blue then Anne is quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is not nice.
("Gary" "is" "nice" "-")
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If Anne is furry and Anne is blue then Anne is quiet.
((("Anne" "is" "furry" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "quiet" "+"))
Erin is not blue.
True
1
proof
[(triple10)]
("Erin" "is" "blue" "-")
triple10
Gary is cold.
False
1
inv-proof
[(triple15)]
("Gary" "is" "cold" "+")
triple15
Anne is cold.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "cold" "-")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not rough.[(triple5)] Anne is quiet.[(triple4 OR ((triple2 triple1) -> rule2))] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Erin is nice.[(triple12)] Erin is not blue.[(triple10)] Erin is not furry.[(triple11)] Erin is not rough.[(triple13)] Gary is blue.[(triple14)] Gary is not cold.[(triple15)] Gary is not nice.[(triple16)] @1: Anne is cold.[(((triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not rough.
("Anne" "is" "rough" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple2 triple1) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple12
Erin is not blue.
("Erin" "is" "blue" "-")
triple10
Erin is not furry.
("Erin" "is" "furry" "-")
triple11
Erin is not rough.
("Erin" "is" "rough" "-")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is not cold.
("Gary" "is" "cold" "-")
triple15
Gary is not nice.
("Gary" "is" "nice" "-")
triple16
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1