Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Erin is furry. Erin is green. Erin is quiet. Erin is round. Kind, rough things are green. If Anne is furry then Anne is rough. All green, round things are quiet.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Kind, rough things are green.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If Anne is furry then Anne is rough.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "rough" "+"))
All green, round things are quiet.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Erin is furry.
True
1
proof
[(triple12)]
("Erin" "is" "furry" "+")
triple12
Erin is not quiet.
False
1
inv-proof
[(triple14 OR ((triple13 triple15) -> rule3))]
("Erin" "is" "quiet" "-")
triple14
((triple13 triple15) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple3 triple6) -> rule1) OR ((triple3 ((triple1) -> rule2)) -> rule1))] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple2 triple7) -> rule3) OR ((((triple3 triple6) -> rule1) triple7) -> rule3) OR ((((triple3 ((triple1) -> rule2)) -> rule1) triple7) -> rule3))] Anne is red.[(triple5)] Anne is rough.[(triple6 OR ((triple1) -> rule2))] Anne is round.[(triple7)] Bob is furry.[(triple8)] Bob is kind.[(triple9)] Bob is quiet.[(triple10)] Bob is red.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is quiet.[(triple14 OR ((triple13 triple15) -> rule3))] Erin is round.[(triple15)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple3 triple6) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple3 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple2 triple7) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple3 triple6) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple3 ((triple1) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is kind.
("Bob" "is" "kind" "+")
triple9
Bob is quiet.
("Bob" "is" "quiet" "+")
triple10
Bob is red.
("Bob" "is" "red" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
((triple13 triple15) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple15