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