Bob is big. Bob is quiet. Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Erin is blue. Erin is nice. Erin is quiet. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is smart. If something is quiet and round then it is smart. If something is blue and smart then it is round. If something is blue and quiet then it is big. If something is round and nice then it is kind. All smart things are nice. All smart things are quiet. If something is big then it is smart. If something is big then it is blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
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 round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is quiet and round then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
If something is blue and smart then it is round.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is blue and quiet then it is big.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If something is round and nice then it is kind.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All smart things are nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
All smart things are quiet.
((("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
If something is big then it is smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
If something is big then it is blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
Charlie is quiet.
True
1
proof
[(triple6 OR ((((triple3) -> rule7)) -> rule6))]
("Charlie" "is" "quiet" "+")
triple6
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is not big.
False
1
inv-proof
[(triple3 OR ((triple4 triple6) -> rule3))]
("Charlie" "is" "big" "-")
triple3
((triple4 triple6) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Erin is big.
True
3
proof
[(((triple7 triple9) -> rule3))]
("Erin" "is" "big" "+")
((triple7 triple9) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is not big.
False
3
inv-proof
[(((triple7 triple9) -> rule3))]
("Erin" "is" "big" "-")
((triple7 triple9) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
True
4
proof
[(((((triple7 triple9) -> rule3)) -> rule7))]
("Erin" "is" "smart" "+")
((((triple7 triple9) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not smart.
False
4
inv-proof
[(((((triple7 triple9) -> rule3)) -> rule7))]
("Erin" "is" "smart" "-")
((((triple7 triple9) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Bob is kind.
True
9
proof
[(((((((triple1) -> rule8) ((triple1) -> rule7)) -> rule2) ((((triple1) -> rule7)) -> rule5)) -> rule4))]
("Bob" "is" "kind" "+")
((((((triple1) -> (rule8 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not kind.
False
9
inv-proof
[(((((((triple1) -> rule8) ((triple1) -> rule7)) -> rule2) ((((triple1) -> rule7)) -> rule5)) -> rule4))]
("Bob" "is" "kind" "-")
((((((triple1) -> (rule8 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2 OR ((((triple1) -> rule7)) -> rule6))] Charlie is big.[(triple3 OR ((triple4 triple6) -> rule3))] Charlie is blue.[(triple4 OR ((triple3) -> rule8))] Charlie is kind.[(triple5 OR ((((triple4 ((triple3) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((triple4 ((triple3) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4))] Charlie is quiet.[(triple6 OR ((((triple3) -> rule7)) -> rule6))] Erin is blue.[(triple7)] Erin is nice.[(triple8 OR ((((((triple7 triple9) -> rule3)) -> rule7)) -> rule5))] Erin is quiet.[(triple9)] Harry is big.[(triple10 OR ((triple11 triple14) -> rule3) OR ((triple11 ((triple16) -> rule6)) -> rule3))] Harry is blue.[(triple11 OR ((triple10) -> rule8))] Harry is kind.[(triple12 OR ((triple15 triple13) -> rule4) OR ((triple15 ((triple16) -> rule5)) -> rule4) OR ((((triple11 triple16) -> rule2) triple13) -> rule4) OR ((((triple11 triple16) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((triple15 ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((triple15 ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) triple13) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) triple13) -> rule4) OR ((((triple11 triple16) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 triple16) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) triple13) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((triple15 ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) triple13) -> rule4) OR ((((triple11 triple16) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) triple13) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4))] Harry is nice.[(triple13 OR ((triple16) -> rule5) OR ((((triple10) -> rule7)) -> rule5) OR ((((triple14 triple15) -> rule1)) -> rule5) OR ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5))] Harry is quiet.[(triple14 OR ((triple16) -> rule6) OR ((((triple10) -> rule7)) -> rule6))] Harry is round.[(triple15 OR ((triple11 triple16) -> rule2) OR ((triple11 ((triple10) -> rule7)) -> rule2) OR ((((triple10) -> rule8) triple16) -> rule2) OR ((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) OR ((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) OR ((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2))] Harry is smart.[(triple16 OR ((triple10) -> rule7) OR ((triple14 triple15) -> rule1) OR ((((triple11 triple14) -> rule3)) -> rule7))] @1: Bob is blue.[(((triple1) -> rule8))] Bob is smart.[(((triple1) -> rule7))] Charlie is smart.[(((triple3) -> rule7) OR ((((triple4 triple6) -> rule3)) -> rule7))] Erin is big.[(((triple7 triple9) -> rule3))] @2: Bob is nice.[(((((triple1) -> rule7)) -> rule5))] Bob is round.[(((((triple1) -> rule8) ((triple1) -> rule7)) -> rule2))] Charlie is nice.[(((((triple3) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5))] Charlie is round.[(((triple4 ((triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule2) OR ((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2))] Erin is smart.[(((((triple7 triple9) -> rule3)) -> rule7))] @3: Bob is kind.[(((((((triple1) -> rule8) ((triple1) -> rule7)) -> rule2) ((((triple1) -> rule7)) -> rule5)) -> rule4))] Erin is round.[(((triple7 ((((triple7 triple9) -> rule3)) -> rule7)) -> rule2))] @4: Erin is kind.[(((((triple7 ((((triple7 triple9) -> rule3)) -> rule7)) -> rule2) triple8) -> rule4) OR ((((triple7 ((((triple7 triple9) -> rule3)) -> rule7)) -> rule2) ((((((triple7 triple9) -> rule3)) -> rule7)) -> rule5)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
((triple4 triple6) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
((triple3) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
((((triple4 ((triple3) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
((((((triple3) -> (rule8 % int5)) ((triple3) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((triple4 ((triple3) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple4 triple6) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
((((triple4 ((((triple4 triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((triple4 ((((triple4 triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple4 triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
((((((triple3) -> (rule8 % int6)) ((triple3) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple4 triple6) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((triple3) -> (rule8 % int6)) ((((triple4 triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
((((((triple3) -> (rule8 % int6)) ((((triple4 triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple4 triple6) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
((((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
((((((triple7 triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple11 triple14) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple11 ((triple16) -> (rule6 % int2))) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple10) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple15 triple13) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple15 ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple11 triple16) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple11 triple16) -> (rule2 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple15 ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple15 ((((triple14 triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple11 ((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple10) -> (rule8 % int3)) triple16) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple11 triple16) -> (rule2 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple11 triple16) -> (rule2 % int4)) ((((triple14 triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple11 ((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple10) -> (rule8 % int4)) triple16) -> (rule2 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple10) -> (rule8 % int4)) ((triple10) -> (rule7 % int3))) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple11 ((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple11 ((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14 triple15) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple10) -> (rule8 % int5)) triple16) -> (rule2 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule8 % int5)) triple16) -> (rule2 % int4)) ((((triple14 triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule8 % int5)) ((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule8 % int5)) ((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple10) -> (rule8 % int5)) ((triple10) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14 triple15) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple15 ((((((triple11 triple14) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple11 ((((triple11 triple14) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple11 triple16) -> (rule2 % int5)) ((((((triple11 triple14) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple11 ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10) -> (rule8 % int5)) ((((triple11 triple14) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple13) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple11 ((triple10) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple11 triple14) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple11 ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple11 ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14 triple15) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10) -> (rule8 % int6)) triple16) -> (rule2 % int5)) ((((((triple11 triple14) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((triple10) -> (rule8 % int6)) ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((triple16) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((triple11 ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple10) -> (rule8 % int6)) ((triple10) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple11 triple14) -> (rule3 % int3))) -> (rule7 % int5))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((triple10) -> (rule8 % int6)) ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple10) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((triple10) -> (rule8 % int6)) ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple14 triple15) -> (rule1 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((triple10) -> (rule8 % int6)) ((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple11 triple14) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
Harry is nice.
("Harry" "is" "nice" "+")
triple13
((triple16) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple14 triple15) -> (rule1 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple11 triple14) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple16) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple11 triple16) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple11 ((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple10) -> (rule8 % int2)) triple16) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple10) -> (rule8 % int3)) ((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple11 ((((triple11 triple14) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((triple10) -> (rule8 % int4)) ((((triple11 triple14) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple10) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple14 triple15) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple11 triple14) -> (rule3 % int2))) -> (rule7 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple3) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((((triple4 triple6) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple7 triple9) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple1) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((((triple4 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 ((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((triple4 ((((triple4 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple3) -> (rule8 % int4)) ((((triple4 triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((triple7 triple9) -> (rule3 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple1) -> (rule8 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple1) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
((triple7 ((((triple7 triple9) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
((((triple7 ((((triple7 triple9) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple8) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7 ((((triple7 triple9) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple7 triple9) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5