Charlie is big. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Harry is big. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is smart. Harry is white. Nice people are rough. Big, white people are quiet. If someone is smart and big then they are red. Rough, nice people are smart. If someone is big then they are rough. All big, rough people are nice. All white people are red. If someone is quiet then they are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Big, white people are quiet.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is smart and big then they are red.
((("someone" "is" "smart" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Rough, nice people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
All big, rough people are nice.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
All white people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet then they are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Charlie is red.
True
1
proof
[(triple4 OR ((triple7) -> rule7) OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple3) -> rule8)) -> rule3) OR ((((triple5 triple2) -> rule4) triple1) -> rule3) OR ((((triple5 triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) triple2) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3))]
("Charlie" "is" "red" "+")
triple4
((triple7) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple6 triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple6 ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5 triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5 triple2) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5 ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple1) -> (rule5 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple5 ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple1) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int4)) triple2) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1) -> (rule5 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((triple5 ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 ((triple1 ((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 ((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Harry is not white.
False
1
inv-proof
[(triple14)]
("Harry" "is" "white" "-")
triple14
@0: Charlie is big.[(triple1 OR ((triple3) -> rule8))] Charlie is nice.[(triple2 OR ((triple1 triple5) -> rule6) OR ((triple1 ((triple1) -> rule5)) -> rule6) OR ((((triple3) -> rule8) triple5) -> rule6) OR ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6) OR ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6))] Charlie is quiet.[(triple3 OR ((triple1 triple7) -> rule2))] Charlie is red.[(triple4 OR ((triple7) -> rule7) OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple3) -> rule8)) -> rule3) OR ((((triple5 triple2) -> rule4) triple1) -> rule3) OR ((((triple5 triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) triple2) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple1) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple3) -> rule8)) -> rule3))] Charlie is rough.[(triple5 OR ((triple1) -> rule5) OR ((triple2) -> rule1) OR ((((triple3) -> rule8)) -> rule5))] Charlie is smart.[(triple6 OR ((triple5 triple2) -> rule4) OR ((triple5 ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple1) -> rule5) triple2) -> rule4) OR ((((triple2) -> rule1) triple2) -> rule4) OR ((((triple1) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((triple1 triple5) -> rule6)) -> rule4) OR ((triple5 ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((triple5 ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) triple2) -> rule4) OR ((triple5 ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((triple1 triple5) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((triple1 ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule6)) -> rule4) OR ((triple5 ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((triple5 ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple1) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple2) -> rule1) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((triple1 ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple3) -> rule8)) -> rule5) ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6)) -> rule4))] Charlie is white.[(triple7)] Harry is big.[(triple8 OR ((triple10) -> rule8))] Harry is nice.[(triple9 OR ((triple8 triple12) -> rule6) OR ((triple8 ((triple8) -> rule5)) -> rule6) OR ((((triple10) -> rule8) triple12) -> rule6) OR ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6) OR ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6) OR ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6))] Harry is quiet.[(triple10 OR ((triple8 triple14) -> rule2))] Harry is red.[(triple11 OR ((triple14) -> rule7) OR ((triple13 triple8) -> rule3) OR ((triple13 ((triple10) -> rule8)) -> rule3) OR ((((triple12 triple9) -> rule4) triple8) -> rule3) OR ((((triple12 triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) triple9) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) triple9) -> rule4) triple8) -> rule3) OR ((((triple12 ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) triple9) -> rule4) triple8) -> rule3) OR ((((triple12 ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) triple9) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((triple12 ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple9) -> rule1) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((triple8) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((triple9) -> rule1) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) triple8) -> rule3) OR ((((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) ((triple10) -> rule8)) -> rule3))] Harry is rough.[(triple12 OR ((triple8) -> rule5) OR ((triple9) -> rule1) OR ((((triple10) -> rule8)) -> rule5))] Harry is smart.[(triple13 OR ((triple12 triple9) -> rule4) OR ((triple12 ((triple8 triple12) -> rule6)) -> rule4) OR ((((triple8) -> rule5) triple9) -> rule4) OR ((((triple9) -> rule1) triple9) -> rule4) OR ((((triple8) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((triple8 triple12) -> rule6)) -> rule4) OR ((triple12 ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((triple12 ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) triple9) -> rule4) OR ((triple12 ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((triple8 triple12) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) triple12) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((triple8) -> rule5)) -> rule6)) -> rule4) OR ((triple12 ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((triple12 ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple8) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((triple9) -> rule1) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((triple8 ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4) OR ((((((triple10) -> rule8)) -> rule5) ((((triple10) -> rule8) ((((triple10) -> rule8)) -> rule5)) -> rule6)) -> rule4))] Harry is white.[(triple14)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple3) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
((triple1 triple5) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple1 ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple3) -> (rule8 % int2)) triple5) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple1) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((triple1 triple7) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple4
((triple7) -> (rule7 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple6 triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple6 ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5 triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple5 triple2) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
((((triple5 ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple1) -> (rule5 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple2) -> (rule1 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple5 ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple1) -> (rule5 % int4)) triple2) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1) -> (rule5 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int4)) triple2) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1) -> (rule5 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 triple5) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((triple5 ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple5 ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 ((triple1 ((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple5 ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 ((triple1) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((triple1) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((triple5 ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple1) -> (rule5 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int4))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((triple1 ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule8 % int5)) ((((triple3) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple3) -> (rule8 % int5))) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple2) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
((triple5 triple2) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple5 ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple1) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple1) -> (rule5 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((triple1 ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple5 ((((triple3) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple5 ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple1) -> (rule5 % int4)) ((((triple3) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple2) -> (rule1 % int3)) ((triple1 ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple3) -> (rule8 % int3)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) ((triple1 triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple1) -> (rule5 % int4)) ((((triple3) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple2) -> (rule1 % int4)) ((((triple3) -> (rule8 % int3)) ((triple1) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int4)) triple5) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int4)) ((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple5 ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((triple5 ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((triple1) -> (rule5 % int4)) ((triple1 ((((triple3) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple2) -> (rule1 % int4)) ((triple1 ((((triple3) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple1) -> (rule5 % int4)) ((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple2) -> (rule1 % int4)) ((((triple3) -> (rule8 % int3)) ((((triple3) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) ((triple1 ((((triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((triple3) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule8 % int4)) ((((triple3) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
((triple10) -> (rule8 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple9
((triple8 triple12) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple8 ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple10) -> (rule8 % int2)) triple12) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10) -> (rule8 % int3)) ((triple8) -> (rule5 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple8 ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple10) -> (rule8 % int3)) ((((triple10) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple8 triple14) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple11
((triple14) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple13 triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple13 ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple12 triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple12 triple9) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple12 ((triple8 triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple8) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple9) -> (rule1 % int3)) triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple12 ((triple8 triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple8) -> (rule5 % int4)) triple9) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple8) -> (rule5 % int4)) ((triple8 triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple9) -> (rule1 % int4)) triple9) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple9) -> (rule1 % int4)) ((triple8 triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple8) -> (rule5 % int5)) ((triple8 triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((triple8 triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple12 ((triple8 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple12 ((((triple10) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) triple9) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple12 ((triple8 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple12 ((((triple10) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple12 ((((triple10) -> (rule8 % int5)) ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple8) -> (rule5 % int4)) ((triple8 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple8) -> (rule5 % int5)) ((((triple10) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int4)) ((triple8 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple9) -> (rule1 % int5)) ((((triple10) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) triple9) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((triple8 triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple12 ((((triple10) -> (rule8 % int5)) ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple8) -> (rule5 % int5)) ((triple8 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple8) -> (rule5 % int5)) ((((triple10) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple8) -> (rule5 % int5)) ((((triple10) -> (rule8 % int4)) ((triple8) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((triple8 ((triple8) -> (rule5 % int5))) -> (rule6 % int4))) -> (rule4 % int3)) ((triple10) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((((triple10) -> (rule8 % int4)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((((triple10) -> (rule8 % int4)) ((triple8) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((triple8 triple12) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((triple8 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule8 % int5)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple8) -> (rule5 % int5)) ((((triple10) -> (rule8 % int4)) ((triple8) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((((triple10) -> (rule8 % int4)) ((triple8) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((triple8 ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule8 % int5)) triple12) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule8 % int5)) ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule8 % int5)) ((triple8) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple12 ((triple8 ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple12 ((triple8 ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple12 ((((triple10) -> (rule8 % int5)) ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple8) -> (rule5 % int5)) ((triple8 ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((triple8 ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((triple12 ((((triple10) -> (rule8 % int5)) ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple8) -> (rule5 % int5)) ((triple8 ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple8) -> (rule5 % int5)) ((((triple10) -> (rule8 % int4)) ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((triple8 ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((((triple10) -> (rule8 % int4)) ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((triple8 ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple8) -> (rule5 % int5)) ((((triple10) -> (rule8 % int4)) ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((triple9) -> (rule1 % int5)) ((((triple10) -> (rule8 % int4)) ((((triple10) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int4))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((triple8 ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule8 % int5)) ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple10) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple10) -> (rule8 % int5)) ((((triple10) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule4 % int2)) ((triple10) -> (rule8 % int5))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
triple12
((triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple9) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple10) -> (rule8 % int2))) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
triple13
((triple12 triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple12 ((triple8 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple8) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple9) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple8) -> (rule5 % int3)) ((triple8 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple8 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple12 ((triple8 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((triple12 ((((triple10) -> (rule8 % int3)) triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple12 ((((triple10) -> (rule8 % int4)) ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8) -> (rule5 % int3)) ((triple8 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple8) -> (rule5 % int4)) ((((triple10) -> (rule8 % int3)) triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple9) -> (rule1 % int3)) ((triple8 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple9) -> (rule1 % int4)) ((((triple10) -> (rule8 % int3)) triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) ((triple8 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8) -> (rule5 % int4)) ((((triple10) -> (rule8 % int3)) ((triple8) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple9) -> (rule1 % int4)) ((((triple10) -> (rule8 % int3)) ((triple8) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) ((triple8 ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple10) -> (rule8 % int4)) triple12) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple10) -> (rule8 % int4)) ((triple8) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple12 ((triple8 ((((triple10) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple12 ((((triple10) -> (rule8 % int4)) ((((triple10) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple8) -> (rule5 % int4)) ((triple8 ((((triple10) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple9) -> (rule1 % int4)) ((triple8 ((((triple10) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple8) -> (rule5 % int4)) ((((triple10) -> (rule8 % int3)) ((((triple10) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple9) -> (rule1 % int4)) ((((triple10) -> (rule8 % int3)) ((((triple10) -> (rule8 % int3))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) ((triple8 ((((triple10) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple10) -> (rule8 % int4)) ((((triple10) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
triple14