Anne is kind. Anne is quiet. Anne is red. Anne is rough. Dave is green. Dave is kind. Dave is red. Erin is green. Erin is rough. Gary is furry. Gary is green. Gary is quiet. If Dave is nice then Dave is kind. Red, quiet things are rough. If Erin is nice then Erin is red. All quiet, red things are furry. If something is quiet then it is green. If Gary is furry and Gary is red then Gary is rough. If Dave is nice then Dave is quiet. Green things are nice.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If Dave is nice then Dave is kind.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "kind" "+"))
Red, quiet things are rough.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Erin is nice then Erin is red.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "red" "+"))
All quiet, red things are furry.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Gary is furry and Gary is red then Gary is rough.
((("Gary" "is" "furry" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "rough" "+"))
If Dave is nice then Dave is quiet.
((("Dave" "is" "nice" "+")) -> ("Dave" "is" "quiet" "+"))
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Gary is furry.
True
1
proof
[(triple10)]
("Gary" "is" "furry" "+")
triple10
Anne is not quiet.
False
1
inv-proof
[(triple2)]
("Anne" "is" "quiet" "-")
triple2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "furry" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple3 triple2) -> rule2))] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((((triple5) -> rule8)) -> rule1))] Dave is red.[(triple7)] Erin is green.[(triple8)] Erin is rough.[(triple9)] Gary is furry.[(triple10)] Gary is green.[(triple11 OR ((triple12) -> rule5))] Gary is quiet.[(triple12)] @1: Anne is furry.[(((triple2 triple3) -> rule4))] Anne is green.[(((triple2) -> rule5))] Dave is nice.[(((triple5) -> rule8))] Erin is nice.[(((triple8) -> rule8))] Gary is nice.[(((triple11) -> rule8) OR ((((triple12) -> rule5)) -> rule8))] @2: Anne is nice.[(((((triple2) -> rule5)) -> rule8))] Dave is quiet.[(((((triple5) -> rule8)) -> rule7))] Erin is red.[(((((triple8) -> rule8)) -> rule3))] @3: Dave is furry.[(((((((triple5) -> rule8)) -> rule7) triple7) -> rule4))] Dave is rough.[(((triple7 ((((triple5) -> rule8)) -> rule7)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple3 triple2) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((((triple5) -> (rule8 % int2))) -> (rule1 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
((triple12) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple2 triple3) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple5) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple8) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple11) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple12) -> (rule5 % int2))) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple5) -> (rule8 % int2))) -> (rule7 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((triple8) -> (rule8 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
((((((triple5) -> (rule8 % int3))) -> (rule7 % int2)) triple7) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 ((((triple5) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3