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