Bob is nice. Bob is white. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Erin is green. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is white. Harry is green. Harry is round. Harry is smart. Harry is white. All rough things are nice. If Bob is round and Bob is white then Bob is nice. All white, kind things are rough. All green things are white. All green, white things are round. Nice things are smart. Rough, kind things are green. All smart things are kind.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If Bob is round and Bob is white then Bob is nice.
((("Bob" "is" "round" "+") ("Bob" "is" "white" "+")) -> ("Bob" "is" "nice" "+"))
All white, kind things are rough.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
All green things are white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
All green, white things are round.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Rough, kind things are green.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All smart things are kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Harry is smart.
True
1
proof
[(triple15)]
("Harry" "is" "smart" "+")
triple15
Harry is not smart.
False
1
inv-proof
[(triple15)]
("Harry" "is" "smart" "-")
triple15
Dave is green.
True
3
proof
[(((triple5 triple3) -> rule7) OR ((triple5 ((triple6) -> rule8)) -> rule7) OR ((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7) OR ((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7))]
("Dave" "is" "green" "+")
((triple5 triple3) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple5 ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple5 ((((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple5 ((((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Bob is not smart.
False
2
inv-proof
[(((triple1) -> rule6))]
("Bob" "is" "smart" "-")
((triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is kind.
True
3
proof
[(((((triple1) -> rule6)) -> rule8))]
("Bob" "is" "kind" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Dave is not white.
False
4
inv-proof
[(((((triple5 triple3) -> rule7)) -> rule4) OR ((((triple5 ((triple6) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4))]
("Dave" "is" "white" "-")
((((triple5 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple5 ((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple5 ((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple5 ((((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Harry is nice.
True
5
proof
[(((((triple16 ((triple15) -> rule8)) -> rule3)) -> rule1) OR ((((((triple13) -> rule4) ((triple15) -> rule8)) -> rule3)) -> rule1))]
("Harry" "is" "nice" "+")
((((triple16 ((triple15) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13) -> (rule4 % int4)) ((triple15) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not nice.
False
5
inv-proof
[(((((triple16 ((triple15) -> rule8)) -> rule3)) -> rule1) OR ((((((triple13) -> rule4) ((triple15) -> rule8)) -> rule3)) -> rule1))]
("Harry" "is" "nice" "-")
((((triple16 ((triple15) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13) -> (rule4 % int4)) ((triple15) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Bob is green.
True
9
proof
[(((((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule3) ((((triple1) -> rule6)) -> rule8)) -> rule7))]
("Bob" "is" "green" "+")
((((triple2 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is not green.
False
9
inv-proof
[(((((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule3) ((((triple1) -> rule6)) -> rule8)) -> rule7))]
("Bob" "is" "green" "-")
((((triple2 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
True
11
proof
[(((((((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule3) ((((triple1) -> rule6)) -> rule8)) -> rule7) triple2) -> rule5))]
("Bob" "is" "round" "+")
((((((triple2 ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is not round.
False
11
inv-proof
[(((((((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule3) ((((triple1) -> rule6)) -> rule8)) -> rule7) triple2) -> rule5))]
("Bob" "is" "round" "-")
((((((triple2 ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Dave is kind.[(triple3 OR ((triple6) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple5) -> rule1)) -> rule6)) -> rule8))] Dave is nice.[(triple4 OR ((triple5) -> rule1))] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple4) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Erin is green.[(triple7 OR ((triple9 ((triple11) -> rule8)) -> rule7) OR ((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7) OR ((((triple12 ((triple11) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) OR ((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) OR ((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) OR ((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) OR ((((triple12 ((triple11) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) OR ((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) OR ((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7))] Erin is nice.[(triple8 OR ((triple9) -> rule1) OR ((((triple12 ((triple11) -> rule8)) -> rule3)) -> rule1) OR ((((((triple7) -> rule4) ((triple11) -> rule8)) -> rule3)) -> rule1))] Erin is rough.[(triple9 OR ((triple12 ((triple11) -> rule8)) -> rule3) OR ((((triple7) -> rule4) ((triple11) -> rule8)) -> rule3) OR ((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) OR ((((triple7) -> rule4) ((((triple8) -> rule6)) -> rule8)) -> rule3))] Erin is round.[(triple10 OR ((triple7 triple12) -> rule5) OR ((triple7 ((triple7) -> rule4)) -> rule5) OR ((((triple9 ((triple11) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((triple11) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((triple7 ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((triple11) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((triple7 ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((triple11) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) triple12) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) triple12) -> rule5) OR ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((triple7) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((triple7 ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple9 ((triple11) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((triple11) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((triple11) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((triple8) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((((triple12 ((((triple8) -> rule6)) -> rule8)) -> rule3) ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5))] Erin is smart.[(triple11 OR ((triple8) -> rule6) OR ((((triple9) -> rule1)) -> rule6))] Erin is white.[(triple12 OR ((triple7) -> rule4) OR ((((triple9 ((triple11) -> rule8)) -> rule7)) -> rule4) OR ((((triple9 ((((triple8) -> rule6)) -> rule8)) -> rule7)) -> rule4) OR ((((triple9 ((((((triple9) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4))] Harry is green.[(triple13 OR ((((triple16 ((triple15) -> rule8)) -> rule3) ((triple15) -> rule8)) -> rule7))] Harry is round.[(triple14 OR ((triple13 triple16) -> rule5) OR ((triple13 ((triple13) -> rule4)) -> rule5) OR ((((((triple16 ((triple15) -> rule8)) -> rule3) ((triple15) -> rule8)) -> rule7) triple16) -> rule5) OR ((((((triple16 ((triple15) -> rule8)) -> rule3) ((triple15) -> rule8)) -> rule7) ((triple13) -> rule4)) -> rule5))] Harry is smart.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule4))] @1: Bob is smart.[(((triple1) -> rule6))] Dave is green.[(((triple5 triple3) -> rule7) OR ((triple5 ((triple6) -> rule8)) -> rule7) OR ((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7) OR ((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7))] Erin is kind.[(((triple11) -> rule8) OR ((((triple8) -> rule6)) -> rule8) OR ((((((triple9) -> rule1)) -> rule6)) -> rule8))] Harry is kind.[(((triple15) -> rule8))] @2: Bob is kind.[(((((triple1) -> rule6)) -> rule8))] Dave is white.[(((((triple5 triple3) -> rule7)) -> rule4) OR ((((triple5 ((triple6) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule4) OR ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4))] Harry is rough.[(((triple16 ((triple15) -> rule8)) -> rule3) OR ((((triple13) -> rule4) ((triple15) -> rule8)) -> rule3))] @3: Bob is rough.[(((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule3))] Dave is round.[(((((triple5 triple3) -> rule7) ((((triple5 triple3) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((triple6) -> rule8)) -> rule7) ((((triple5 triple3) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 triple3) -> rule7) ((((triple5 ((triple6) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((triple6) -> rule8)) -> rule7) ((((triple5 ((triple6) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7) ((((triple5 triple3) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7) ((((triple5 ((triple6) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 triple3) -> rule7) ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((triple6) -> rule8)) -> rule7) ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple5 triple3) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7) ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple5 ((triple6) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 triple3) -> rule7) ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((triple6) -> rule8)) -> rule7) ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((triple4) -> rule6)) -> rule8)) -> rule7) ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5) OR ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7) ((((triple5 ((((((triple5) -> rule1)) -> rule6)) -> rule8)) -> rule7)) -> rule4)) -> rule5))] Harry is nice.[(((((triple16 ((triple15) -> rule8)) -> rule3)) -> rule1) OR ((((((triple13) -> rule4) ((triple15) -> rule8)) -> rule3)) -> rule1))] @4: Bob is green.[(((((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule3) ((((triple1) -> rule6)) -> rule8)) -> rule7))] @5: Bob is round.[(((((((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule3) ((((triple1) -> rule6)) -> rule8)) -> rule7) triple2) -> rule5))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((triple6) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
((triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple4) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple9 ((triple11) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple9 ((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple12 ((triple11) -> (rule8 % int3))) -> (rule3 % int2)) ((triple11) -> (rule8 % int3))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple12 ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple8) -> (rule6 % int2))) -> (rule8 % int4))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple9 ((((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple12 ((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((triple11) -> (rule8 % int3))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple12 ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int5))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((triple12 ((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple12 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) ((((((triple9) -> (rule1 % int2))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
triple8
((triple9) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple12 ((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple7) -> (rule4 % int4)) ((triple11) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
triple9
((triple12 ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple11) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple12 ((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple7) -> (rule4 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
triple10
((triple7 triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple7 ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple9 ((triple11) -> (rule8 % int4))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((triple7 ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple9 ((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple9 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple12 ((triple11) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11) -> (rule8 % int4))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((triple9 ((triple11) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple12 ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) ((triple11) -> (rule8 % int5))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple12 ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((triple9 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple12 ((triple11) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple8) -> (rule6 % int4))) -> (rule8 % int6))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((triple12 ((triple11) -> (rule8 % int5))) -> (rule3 % int4)) ((triple11) -> (rule8 % int5))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple12 ((triple11) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple8) -> (rule6 % int4))) -> (rule8 % int6))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int6))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((triple7 ((((triple9 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple9 ((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
((((triple9 ((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) ((triple11) -> (rule8 % int4))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple9 ((triple11) -> (rule8 % int5))) -> (rule7 % int4)) ((((triple9 ((((triple8) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple12 ((triple11) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) ((triple11) -> (rule8 % int5))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple9 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple9 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((triple9 ((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple12 ((triple11) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
Erin is kind.
("Erin" "is" "kind" "+")
int7
((((((triple12 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) ((((((triple9) -> (rule1 % int3))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int2)) triple12) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple9 ((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple9 ((((triple8) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple12 ((triple11) -> (rule8 % int6))) -> (rule3 % int5)) ((triple11) -> (rule8 % int6))) -> (rule7 % int4)) ((((triple9 ((((triple8) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) ((triple11) -> (rule8 % int5))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple9) -> (rule1 % int4))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int3)) ((triple7) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple12 ((triple11) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple8) -> (rule6 % int4))) -> (rule8 % int6))) -> (rule7 % int3)) ((((triple9 ((((triple8) -> (rule6 % int4))) -> (rule8 % int6))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((((triple12 ((triple11) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int7))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
Erin is kind.
("Erin" "is" "kind" "+")
int7
((((((triple12 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) ((triple11) -> (rule8 % int5))) -> (rule7 % int3)) ((((triple9 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple12 ((triple11) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule7 % int3)) ((((triple9 ((((triple8) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
Erin is kind.
("Erin" "is" "kind" "+")
int7
((((((triple12 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int3)) ((((triple9 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((((triple12 ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple9) -> (rule1 % int4))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int3)) ((((triple9 ((triple11) -> (rule8 % int6))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple12 ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple9) -> (rule1 % int4))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int3)) ((((triple9 ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((triple7 ((((triple9 ((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((triple9 ((triple11) -> (rule8 % int6))) -> (rule7 % int5)) ((((triple9 ((((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
((((triple9 ((((triple8) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4)) ((((triple9 ((((((triple9) -> (rule1 % int3))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
int6
((((triple9 ((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple9 ((((((triple9) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
int6
((((((triple12 ((triple11) -> (rule8 % int7))) -> (rule3 % int6)) ((triple11) -> (rule8 % int7))) -> (rule7 % int5)) ((((triple9 ((((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int7))) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
Erin is kind.
("Erin" "is" "kind" "+")
int7
((((((triple12 ((triple11) -> (rule8 % int7))) -> (rule3 % int6)) ((((triple8) -> (rule6 % int5))) -> (rule8 % int7))) -> (rule7 % int4)) ((((triple9 ((((((triple9) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule8 % int7))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
Erin is kind.
("Erin" "is" "kind" "+")
int7
((((((triple12 ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule3 % int5)) ((triple11) -> (rule8 % int6))) -> (rule7 % int4)) ((((triple9 ((((((triple9) -> (rule1 % int3))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple12 ((triple11) -> (rule8 % int7))) -> (rule3 % int6)) ((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule7 % int3)) ((((triple9 ((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int7))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
int6
Erin is kind.
("Erin" "is" "kind" "+")
int7
((((((triple12 ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule3 % int5)) ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int4)) ((((triple9 ((((((triple9) -> (rule1 % int3))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
((((((triple12 ((((triple8) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule3 % int5)) ((((((triple9) -> (rule1 % int4))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int3)) ((((triple9 ((((((triple9) -> (rule1 % int4))) -> (rule6 % int7))) -> (rule8 % int6))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6
Erin is smart.
("Erin" "is" "smart" "+")
int7
Erin is smart.
("Erin" "is" "smart" "+")
triple11
((triple8) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple12
((triple7) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple9 ((triple11) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple9 ((((triple8) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple9 ((((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Harry is green.
("Harry" "is" "green" "+")
triple13
((((triple16 ((triple15) -> (rule8 % int3))) -> (rule3 % int2)) ((triple15) -> (rule8 % int3))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
triple14
((triple13 triple16) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple13 ((triple13) -> (rule4 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((((triple16 ((triple15) -> (rule8 % int4))) -> (rule3 % int3)) ((triple15) -> (rule8 % int4))) -> (rule7 % int2)) triple16) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((((triple16 ((triple15) -> (rule8 % int5))) -> (rule3 % int4)) ((triple15) -> (rule8 % int5))) -> (rule7 % int3)) ((triple13) -> (rule4 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Harry is white.
("Harry" "is" "white" "+")
triple16
((triple13) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple1) -> (rule6 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple3) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple5 ((triple6) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple5 ((((triple4) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple5 ((((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((triple11) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((triple15) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((((triple5 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple5 ((triple6) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple5 ((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple5 ((((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((triple16 ((triple15) -> (rule8 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple13) -> (rule4 % int3)) ((triple15) -> (rule8 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((triple5 triple3) -> (rule7 % int3)) ((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple5 ((triple6) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple5 triple3) -> (rule7 % int4)) ((((triple5 ((triple6) -> (rule8 % int3))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple5 ((triple6) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 ((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((triple5 ((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple5 ((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 ((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple5 triple3) -> (rule7 % int5)) ((((triple5 ((((triple4) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
((((triple5 ((triple6) -> (rule8 % int5))) -> (rule7 % int4)) ((((triple5 ((((triple4) -> (rule6 % int3))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple5 ((((((triple5) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((triple5 ((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 ((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((triple5 ((((((triple5) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 ((triple6) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((triple5 ((((((triple5) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 ((((triple4) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((triple5 triple3) -> (rule7 % int6)) ((((triple5 ((((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int6))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
((((triple5 ((triple6) -> (rule8 % int6))) -> (rule7 % int5)) ((((triple5 ((((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule8 % int6))) -> (rule7 % int5))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((triple5 ((((triple4) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4)) ((((triple5 ((((((triple5) -> (rule1 % int3))) -> (rule6 % int6))) -> (rule8 % int5))) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((triple5 ((((((triple5) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple5 ((((((triple5) -> (rule1 % int6))) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
Harry is nice.
("Harry" "is" "nice" "+")
((((triple16 ((triple15) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple13) -> (rule4 % int4)) ((triple15) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((triple2 ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple1) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((((((triple2 ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule6 % int5))) -> (rule8 % int4))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5