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