Erin is big. Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Harry is nice. All big, nice things are rough. All round things are furry. If something is green then it is nice. If something is rough and round then it is green. Round things are quiet. If Erin is nice then Erin is rough. If something is furry and round then it is nice. All quiet, round things are rough.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All big, nice things are rough.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
All round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is rough and round then it is green.
((("something" "is" "rough" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If Erin is nice then Erin is rough.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "rough" "+"))
If something is furry and round then it is nice.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
All quiet, round things are rough.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Erin is round.
True
1
proof
[(triple6)]
("Erin" "is" "round" "+")
triple6
Erin is not round.
False
1
inv-proof
[(triple6)]
("Erin" "is" "round" "-")
triple6
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple6) -> rule2))] Erin is nice.[(triple3 OR ((triple2 triple6) -> rule7) OR ((((triple5 triple6) -> rule4)) -> rule3) OR ((((triple6) -> rule2) triple6) -> rule7) OR ((((((triple4 triple6) -> rule8) triple6) -> rule4)) -> rule3) OR ((((((((triple6) -> rule5) triple6) -> rule8) triple6) -> rule4)) -> rule3))] Erin is quiet.[(triple4 OR ((triple6) -> rule5))] Erin is rough.[(triple5 OR ((triple3) -> rule6) OR ((triple1 triple3) -> rule1) OR ((triple4 triple6) -> rule8) OR ((((triple2 triple6) -> rule7)) -> rule6) OR ((triple1 ((triple2 triple6) -> rule7)) -> rule1) OR ((((triple6) -> rule5) triple6) -> rule8) OR ((((((triple6) -> rule2) triple6) -> rule7)) -> rule6) OR ((triple1 ((((triple6) -> rule2) triple6) -> rule7)) -> rule1))] Erin is round.[(triple6)] Harry is nice.[(triple7)] @1: Erin is green.[(((triple5 triple6) -> rule4) OR ((((triple3) -> rule6) triple6) -> rule4) OR ((((triple1 triple3) -> rule1) triple6) -> rule4) OR ((((triple4 triple6) -> rule8) triple6) -> rule4) OR ((((((triple2 triple6) -> rule7)) -> rule6) triple6) -> rule4) OR ((((triple1 ((triple2 triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((triple6) -> rule5) triple6) -> rule8) triple6) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule7)) -> rule6) triple6) -> rule4) OR ((((triple1 ((((triple6) -> rule2) triple6) -> rule7)) -> rule1) triple6) -> rule4))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple6) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple3
((triple2 triple6) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple5 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple6) -> (rule2 % int2)) triple6) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple4 triple6) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((((triple6) -> (rule5 % int4)) triple6) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple6) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple5
((triple3) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple1 triple3) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple4 triple6) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple2 triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple1 ((triple2 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple6) -> (rule5 % int2)) triple6) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple6) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple1 ((((triple6) -> (rule2 % int3)) triple6) -> (rule7 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple5 triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple3) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple1 triple3) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple4 triple6) -> (rule8 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((((triple2 triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple1 ((triple2 triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple6) -> (rule5 % int3)) triple6) -> (rule8 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple1 ((((triple6) -> (rule2 % int4)) triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4