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