Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is smart. Harry is white. Green, white people are big. If someone is green then they are rough. All nice, big people are rough. Rough, green people are white. If Harry is smart then Harry is big. Big, rough people are green. White, nice people are smart. All green people are nice.
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Green, white people are big.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
All nice, big people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Rough, green people are white.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Harry is smart then Harry is big.
((("Harry" "is" "smart" "+")) -> ("Harry" "is" "big" "+"))
Big, rough people are green.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
White, nice people are smart.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Harry is smart.
True
1
proof
[(triple6 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple2) -> rule8)) -> rule7) OR ((((triple5 triple2) -> rule4) triple4) -> rule7) OR ((((triple5 triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((triple7 ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule3) triple2) -> rule4) triple4) -> rule7) OR ((((triple5 triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule3) triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((triple5 ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) triple2) -> rule4) triple4) -> rule7) OR ((((triple5 ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((triple5 ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple2) -> rule2) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7))]
("Harry" "is" "smart" "+")
triple6
((triple7 triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple7 ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple5 triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple5 triple2) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple7 ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple5 ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple2) -> (rule2 % int3)) triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple4 triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple5 triple2) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple5 ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple4 triple1) -> (rule3 % int4)) triple2) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple4 triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple5 ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple2) -> (rule2 % int5)) triple2) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple5 ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple5 ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple4 triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple5 ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) triple2) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int2))) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is not nice.
False
1
inv-proof
[(triple4 OR ((triple2) -> rule8) OR ((((triple1 triple5) -> rule6)) -> rule8) OR ((((((triple6) -> rule5) triple5) -> rule6)) -> rule8))]
("Harry" "is" "nice" "-")
triple4
((triple2) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple1 triple5) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple6) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
@0: Harry is big.[(triple1 OR ((triple6) -> rule5) OR ((triple2 triple7) -> rule1) OR ((((triple7 triple4) -> rule7)) -> rule5) OR ((triple2 ((triple5 triple2) -> rule4)) -> rule1) OR ((((triple7 ((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple5 triple2) -> rule4) triple4) -> rule7)) -> rule5) OR ((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule1) OR ((((((triple5 triple2) -> rule4) ((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule2) triple2) -> rule4) triple4) -> rule7)) -> rule5) OR ((((((((triple2) -> rule2) triple2) -> rule4) ((triple2) -> rule8)) -> rule7)) -> rule5))] Harry is green.[(triple2 OR ((triple1 triple5) -> rule6) OR ((triple1 ((triple4 triple1) -> rule3)) -> rule6) OR ((((triple6) -> rule5) triple5) -> rule6) OR ((((triple6) -> rule5) ((triple4 triple1) -> rule3)) -> rule6) OR ((triple1 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6) OR ((((((triple7 triple4) -> rule7)) -> rule5) triple5) -> rule6) OR ((((triple6) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6) OR ((((((triple7 triple4) -> rule7)) -> rule5) ((triple4 triple1) -> rule3)) -> rule6) OR ((((((triple7 triple4) -> rule7)) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6) OR ((triple1 ((triple4 ((((triple7 triple4) -> rule7)) -> rule5)) -> rule3)) -> rule6) OR ((((triple6) -> rule5) ((triple4 ((((triple7 triple4) -> rule7)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple7 triple4) -> rule7)) -> rule5) ((triple4 ((((triple7 triple4) -> rule7)) -> rule5)) -> rule3)) -> rule6))] Harry is kind.[(triple3)] Harry is nice.[(triple4 OR ((triple2) -> rule8) OR ((((triple1 triple5) -> rule6)) -> rule8) OR ((((((triple6) -> rule5) triple5) -> rule6)) -> rule8))] Harry is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple6) -> rule5)) -> rule3) OR ((triple4 ((triple2 triple7) -> rule1)) -> rule3) OR ((((triple2) -> rule8) triple1) -> rule3) OR ((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) OR ((((triple2) -> rule8) ((triple2 triple7) -> rule1)) -> rule3) OR ((triple4 ((((triple7 triple4) -> rule7)) -> rule5)) -> rule3) OR ((((triple2) -> rule8) ((((triple7 triple4) -> rule7)) -> rule5)) -> rule3) OR ((triple4 ((((triple7 ((triple2) -> rule8)) -> rule7)) -> rule5)) -> rule3) OR ((((triple2) -> rule8) ((((triple7 ((triple2) -> rule8)) -> rule7)) -> rule5)) -> rule3))] Harry is smart.[(triple6 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple2) -> rule8)) -> rule7) OR ((((triple5 triple2) -> rule4) triple4) -> rule7) OR ((((triple5 triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((triple7 ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule3) triple2) -> rule4) triple4) -> rule7) OR ((((triple5 triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule3) triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((triple5 ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) triple2) -> rule4) triple4) -> rule7) OR ((((triple5 ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) triple2) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) triple4) -> rule7) OR ((((triple5 ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) triple2) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) triple4) -> rule7) OR ((((((triple2) -> rule2) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((triple4 triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((triple2) -> rule8)) -> rule7) OR ((((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule8)) -> rule7))] Harry is white.[(triple7 OR ((triple5 triple2) -> rule4) OR ((triple5 ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple2) -> rule2) triple2) -> rule4) OR ((((triple4 triple1) -> rule3) triple2) -> rule4) OR ((((triple2) -> rule2) ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) OR ((triple5 ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((triple5 ((((triple6) -> rule5) triple5) -> rule6)) -> rule4) OR ((((triple4 ((triple6) -> rule5)) -> rule3) triple2) -> rule4) OR ((((((triple2) -> rule8) triple1) -> rule3) triple2) -> rule4) OR ((triple5 ((((triple6) -> rule5) ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple2) -> rule2) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple2) -> rule2) ((((triple6) -> rule5) triple5) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((((triple6) -> rule5) triple5) -> rule6)) -> rule4) OR ((((triple4 ((triple6) -> rule5)) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) triple1) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) triple2) -> rule4) OR ((((triple2) -> rule2) ((((triple6) -> rule5) ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((((triple6) -> rule5) ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 ((triple6) -> rule5)) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 ((triple6) -> rule5)) -> rule3) ((((triple6) -> rule5) triple5) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) triple1) -> rule3) ((((triple6) -> rule5) triple5) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple4 ((triple6) -> rule5)) -> rule3) ((((triple6) -> rule5) ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) triple1) -> rule3) ((((triple6) -> rule5) ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) ((triple1 ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) ((((triple6) -> rule5) triple5) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) ((((triple6) -> rule5) ((triple4 triple1) -> rule3)) -> rule6)) -> rule4) OR ((triple5 ((triple1 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((triple5 ((((triple6) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((triple2) -> rule2) ((triple1 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((triple1 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((triple2) -> rule2) ((((triple6) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule3) ((((triple6) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 ((triple6) -> rule5)) -> rule3) ((triple1 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) triple1) -> rule3) ((triple1 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((triple4 ((triple6) -> rule5)) -> rule3) ((((triple6) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) triple1) -> rule3) ((((triple6) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) ((triple1 ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4) OR ((((((triple2) -> rule8) ((triple6) -> rule5)) -> rule3) ((((triple6) -> rule5) ((triple4 ((triple6) -> rule5)) -> rule3)) -> rule6)) -> rule4))]
Harry is big.
("Harry" "is" "big" "+")
triple1
((triple6) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple2 triple7) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple7 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple2 ((triple5 triple2) -> (rule4 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple7 ((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple5 triple2) -> (rule4 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple2 ((((triple2) -> (rule2 % int3)) triple2) -> (rule4 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple5 triple2) -> (rule4 % int4)) ((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((((((triple2) -> (rule2 % int4)) triple2) -> (rule4 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple2) -> (rule2 % int5)) triple2) -> (rule4 % int4)) ((triple2) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
triple2
((triple1 triple5) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple1 ((triple4 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple6) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple6) -> (rule5 % int3)) ((triple4 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple1 ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple6) -> (rule5 % int3)) ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple7 triple4) -> (rule7 % int4))) -> (rule5 % int3)) ((triple4 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple7 triple4) -> (rule7 % int4))) -> (rule5 % int3)) ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple1 ((triple4 ((((triple7 triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple6) -> (rule5 % int4)) ((triple4 ((((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple7 triple4) -> (rule7 % int4))) -> (rule5 % int3)) ((triple4 ((((triple7 triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4
((triple2) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple1 triple5) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple6) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
triple5
((triple2) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple4 triple1) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple4 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple4 ((triple2 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple2) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple2) -> (rule8 % int3)) ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple2) -> (rule8 % int3)) ((triple2 triple7) -> (rule1 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple4 ((((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple2) -> (rule8 % int4)) ((((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((triple4 ((((triple7 ((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple2) -> (rule8 % int4)) ((((triple7 ((triple2) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple6
((triple7 triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple7 ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple5 triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple5 triple2) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple7 ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple5 ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((triple2) -> (rule2 % int3)) triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple4 triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple5 triple2) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple5 ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple2) -> (rule2 % int4)) triple2) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple2) -> (rule2 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple4 triple1) -> (rule3 % int4)) triple2) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple4 triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple5 ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple2) -> (rule2 % int5)) triple2) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) triple2) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple5 ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple5 ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple4 triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple1) -> (rule3 % int3)) triple2) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple5 ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) triple2) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int2))) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule2 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple4 triple1) -> (rule3 % int5)) ((triple1 ((triple4 triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple5 triple2) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple5 ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple2) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple4 triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple4 triple1) -> (rule3 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple5 ((triple1 ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple5 ((((triple6) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple2) -> (rule8 % int3)) triple1) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple5 ((((triple6) -> (rule5 % int4)) ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple2) -> (rule2 % int3)) ((triple1 ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple2) -> (rule2 % int4)) ((((triple6) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple4 triple1) -> (rule3 % int3)) ((triple1 ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple4 triple1) -> (rule3 % int4)) ((((triple6) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple2) -> (rule8 % int4)) triple1) -> (rule3 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple2) -> (rule8 % int4)) ((triple6) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple2) -> (rule2 % int4)) ((((triple6) -> (rule5 % int3)) ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple4 triple1) -> (rule3 % int4)) ((((triple6) -> (rule5 % int3)) ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule5 % int4)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple2) -> (rule8 % int4)) triple1) -> (rule3 % int3)) ((triple1 ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((((triple6) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule8 % int5)) ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule5 % int4)) ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((((triple6) -> (rule5 % int3)) ((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule8 % int5)) ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule8 % int5)) ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule5 % int4)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule8 % int5)) ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule5 % int4)) ((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((triple5 ((triple1 ((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple5 ((((triple6) -> (rule5 % int4)) ((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple2) -> (rule2 % int4)) ((triple1 ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple4 triple1) -> (rule3 % int4)) ((triple1 ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple2) -> (rule2 % int4)) ((((triple6) -> (rule5 % int3)) ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple4 triple1) -> (rule3 % int4)) ((((triple6) -> (rule5 % int3)) ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 ((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule5 % int4)) ((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple2) -> (rule8 % int5)) triple1) -> (rule3 % int4)) ((((triple6) -> (rule5 % int3)) ((triple4 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule8 % int5)) ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 ((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple2) -> (rule8 % int5)) ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule5 % int4)) ((triple4 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5