Dave is quiet. Dave is rough. Dave is round. Dave is smart. Erin is red. Erin is rough. Erin is white. Harry is cold. Harry is round. Harry is smart. If something is rough and quiet then it is cold. If something is white and red then it is quiet. If something is rough then it is white. If something is round then it is rough. If something is rough and white then it is red. If something is red and round then it is white.
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is rough and quiet then it is cold.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
If something is white and red then it is quiet.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is rough and white then it is red.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
If something is red and round then it is white.
((("something" "is" "red" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Dave is rough.
True
1
proof
[(triple2 OR ((triple3) -> rule4))]
("Dave" "is" "rough" "+")
triple2
((triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Harry is rough.
True
2
proof
[(((triple9) -> rule4))]
("Harry" "is" "rough" "+")
((triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule1) OR ((((triple3) -> rule4) triple1) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1))]
("Dave" "is" "cold" "-")
((triple2 triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple3) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple2 ((((triple2) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple2 ((((triple2) -> (rule3 % int5)) ((((triple3) -> (rule4 % int4)) ((triple2) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((triple2 ((((triple2) -> (rule3 % int5)) ((triple2 ((((triple3) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple2 ((((triple2) -> (rule3 % int5)) ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((triple2 ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is red.
True
4
proof
[(((triple2 ((triple2) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5) OR ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5))]
("Dave" "is" "red" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple2 ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Erin is not cold.
False
5
inv-proof
[(((triple6 ((triple7 triple5) -> rule2)) -> rule1) OR ((triple6 ((triple7 ((triple6 triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) triple5) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) ((triple6 triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((triple7 ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule1))]
("Erin" "is" "cold" "-")
((triple6 ((triple7 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple6 ((triple7 ((triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple6 ((((triple6) -> (rule3 % int3)) triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple6) -> (rule3 % int4)) ((triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple6 ((triple7 ((triple6 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple6 ((((triple6) -> (rule3 % int4)) ((triple6 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Harry is red.
True
6
proof
[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5))]
("Harry" "is" "red" "+")
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not red.
False
6
inv-proof
[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5))]
("Harry" "is" "red" "-")
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Dave is quiet.[(triple1 OR ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2))] Dave is rough.[(triple2 OR ((triple3) -> rule4))] Dave is round.[(triple3)] Dave is smart.[(triple4)] Erin is red.[(triple5 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple6) -> rule3)) -> rule5))] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple6) -> rule3))] Harry is cold.[(triple8 OR ((((triple9) -> rule4) ((((((triple9) -> rule4)) -> rule3) ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1))] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Dave is cold.[(((triple2 triple1) -> rule1) OR ((((triple3) -> rule4) triple1) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple2 ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule1))] Dave is white.[(((triple2) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Erin is quiet.[(((triple7 triple5) -> rule2) OR ((triple7 ((triple6 triple7) -> rule5)) -> rule2) OR ((((triple6) -> rule3) triple5) -> rule2) OR ((((triple6) -> rule3) ((triple6 triple7) -> rule5)) -> rule2) OR ((triple7 ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2) OR ((((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2))] Harry is rough.[(((triple9) -> rule4))] @2: Dave is red.[(((triple2 ((triple2) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((triple2) -> rule3)) -> rule5) OR ((triple2 ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5))] Erin is cold.[(((triple6 ((triple7 triple5) -> rule2)) -> rule1) OR ((triple6 ((triple7 ((triple6 triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) triple5) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) ((triple6 triple7) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((triple7 ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule1) OR ((triple6 ((((triple6) -> rule3) ((triple6 ((triple6) -> rule3)) -> rule5)) -> rule2)) -> rule1))] Harry is white.[(((((triple9) -> rule4)) -> rule3))] @3: Harry is red.[(((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5))] @4: Harry is quiet.[(((((((triple9) -> rule4)) -> rule3) ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule3)) -> rule5)) -> rule2))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
((((triple2) -> (rule3 % int3)) ((triple2 ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule4 % int3)) ((triple2) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((triple2 ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule4 % int4)) ((triple2) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple2) -> (rule3 % int4)) ((triple2 ((((triple3) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((triple2 ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple2
((triple3) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
((triple6 triple7) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple6 ((triple6) -> (rule3 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple6) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
((((triple9) -> (rule4 % int5)) ((((((triple9) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple9) -> (rule4 % int5)) ((((triple9) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple3) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple2 ((((triple2) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple2 ((((triple2) -> (rule3 % int5)) ((((triple3) -> (rule4 % int4)) ((triple2) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((triple2) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((triple2 ((((triple2) -> (rule3 % int5)) ((triple2 ((((triple3) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple2 ((((triple2) -> (rule3 % int5)) ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((triple2 ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((triple2 ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((triple2 ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
((triple2) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple7 triple5) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple7 ((triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
((((triple6) -> (rule3 % int2)) triple5) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple6) -> (rule3 % int3)) ((triple6 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple7 ((triple6 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple6) -> (rule3 % int3)) ((triple6 ((triple6) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
((triple9) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple2 ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
((triple6 ((triple7 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((triple6 ((triple7 ((triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple6 ((((triple6) -> (rule3 % int3)) triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple6) -> (rule3 % int4)) ((triple6 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple6 ((triple7 ((triple6 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple6 ((((triple6) -> (rule3 % int4)) ((triple6 ((triple6) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((triple9) -> (rule4 % int2))) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((triple9) -> (rule4 % int3)) ((((triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((triple9) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule4 % int4)) ((((triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4