Bob is nice. Bob is round. Bob is young. Dave is green. Dave is kind. Dave is nice. Dave is round. Dave is white. Dave is young. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is round. Erin is white. Erin is young. If someone is young then they are cold. If someone is young and kind then they are white. All white people are kind. Round people are young. If someone is cold then they are kind. White, round people are nice. If Bob is cold and Bob is nice then Bob is kind. If someone is white and green then they are nice.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind then they are white.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
All white people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
White, round people are nice.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Bob is cold and Bob is nice then Bob is kind.
((("Bob" "is" "cold" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "kind" "+"))
If someone is white and green then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Erin is cold.
True
1
proof
[(triple10 OR ((triple16) -> rule1) OR ((((triple14) -> rule4)) -> rule1))]
("Erin" "is" "cold" "+")
triple10
((triple16) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not young.
False
1
inv-proof
[(triple16 OR ((triple14) -> rule4))]
("Erin" "is" "young" "-")
triple16
((triple14) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Dave is cold.
True
2
proof
[(((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))]
("Dave" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not cold.
False
2
inv-proof
[(((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))]
("Dave" "is" "cold" "-")
((triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Bob is kind.
True
3
proof
[(((((triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule1) triple1) -> rule7) OR ((((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7))]
("Bob" "is" "kind" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not kind.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule1) triple1) -> rule7) OR ((((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7))]
("Bob" "is" "kind" "-")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
True
5
proof
[(((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule2) OR ((triple3 ((((triple3) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule4) ((((triple3) -> rule1)) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((triple3) -> rule1) triple1) -> rule7)) -> rule2) OR ((triple3 ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((triple3 ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7)) -> rule2))]
("Bob" "is" "white" "+")
((triple3 ((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple3) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple2) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple3 ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple3 ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not white.
False
5
inv-proof
[(((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule2) OR ((triple3 ((((triple3) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule4) ((((triple3) -> rule1)) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((triple3) -> rule1) triple1) -> rule7)) -> rule2) OR ((triple3 ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((triple3 ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7)) -> rule2))]
("Bob" "is" "white" "-")
((triple3 ((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple3) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple2) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple3 ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple3 ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
@0: Bob is nice.[(triple1 OR ((((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule4) ((((triple3) -> rule1)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((triple3 ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple2) -> rule6) OR ((((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple2) -> rule6))] Bob is round.[(triple2)] Bob is young.[(triple3 OR ((triple2) -> rule4))] Dave is green.[(triple4)] Dave is kind.[(triple5 OR ((triple8) -> rule3) OR ((((triple9) -> rule1)) -> rule5) OR ((((((triple7) -> rule4)) -> rule1)) -> rule5))] Dave is nice.[(triple6 OR ((triple8 triple4) -> rule8) OR ((triple8 triple7) -> rule6) OR ((((triple9 triple5) -> rule2) triple4) -> rule8) OR ((((triple9 triple5) -> rule2) triple7) -> rule6) OR ((((((triple7) -> rule4) triple5) -> rule2) triple4) -> rule8) OR ((((((triple7) -> rule4) triple5) -> rule2) triple7) -> rule6) OR ((((triple9 ((((triple9) -> rule1)) -> rule5)) -> rule2) triple4) -> rule8) OR ((((triple9 ((((triple9) -> rule1)) -> rule5)) -> rule2) triple7) -> rule6) OR ((((((triple7) -> rule4) ((((triple9) -> rule1)) -> rule5)) -> rule2) triple4) -> rule8) OR ((((((triple7) -> rule4) ((((triple9) -> rule1)) -> rule5)) -> rule2) triple7) -> rule6) OR ((((triple9 ((((((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple4) -> rule8) OR ((((triple9 ((((((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple7) -> rule6) OR ((((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple4) -> rule8) OR ((((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple7) -> rule6))] Dave is round.[(triple7)] Dave is white.[(triple8 OR ((triple9 triple5) -> rule2) OR ((((triple7) -> rule4) triple5) -> rule2) OR ((triple9 ((((triple9) -> rule1)) -> rule5)) -> rule2) OR ((((triple7) -> rule4) ((((triple9) -> rule1)) -> rule5)) -> rule2) OR ((triple9 ((((((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule1)) -> rule5)) -> rule2))] Dave is young.[(triple9 OR ((triple7) -> rule4))] Erin is cold.[(triple10 OR ((triple16) -> rule1) OR ((((triple14) -> rule4)) -> rule1))] Erin is green.[(triple11)] Erin is kind.[(triple12 OR ((triple10) -> rule5) OR ((triple15) -> rule3) OR ((((triple16) -> rule1)) -> rule5) OR ((((((triple14) -> rule4)) -> rule1)) -> rule5))] Erin is nice.[(triple13 OR ((triple15 triple11) -> rule8) OR ((triple15 triple14) -> rule6) OR ((((triple16 triple12) -> rule2) triple11) -> rule8) OR ((((triple16 triple12) -> rule2) triple14) -> rule6) OR ((((triple16 ((triple10) -> rule5)) -> rule2) triple11) -> rule8) OR ((((triple16 ((triple10) -> rule5)) -> rule2) triple14) -> rule6) OR ((((((triple14) -> rule4) triple12) -> rule2) triple11) -> rule8) OR ((((((triple14) -> rule4) triple12) -> rule2) triple14) -> rule6) OR ((((((triple14) -> rule4) ((triple10) -> rule5)) -> rule2) triple11) -> rule8) OR ((((((triple14) -> rule4) ((triple10) -> rule5)) -> rule2) triple14) -> rule6) OR ((((triple16 ((((triple16) -> rule1)) -> rule5)) -> rule2) triple11) -> rule8) OR ((((triple16 ((((triple16) -> rule1)) -> rule5)) -> rule2) triple14) -> rule6) OR ((((((triple14) -> rule4) ((((triple16) -> rule1)) -> rule5)) -> rule2) triple11) -> rule8) OR ((((((triple14) -> rule4) ((((triple16) -> rule1)) -> rule5)) -> rule2) triple14) -> rule6) OR ((((triple16 ((((((triple14) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple11) -> rule8) OR ((((triple16 ((((((triple14) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple14) -> rule6) OR ((((((triple14) -> rule4) ((((((triple14) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple11) -> rule8) OR ((((((triple14) -> rule4) ((((((triple14) -> rule4)) -> rule1)) -> rule5)) -> rule2) triple14) -> rule6))] Erin is round.[(triple14)] Erin is white.[(triple15 OR ((triple16 triple12) -> rule2) OR ((triple16 ((triple10) -> rule5)) -> rule2) OR ((((triple14) -> rule4) triple12) -> rule2) OR ((((triple14) -> rule4) ((triple10) -> rule5)) -> rule2) OR ((triple16 ((((triple16) -> rule1)) -> rule5)) -> rule2) OR ((((triple14) -> rule4) ((((triple16) -> rule1)) -> rule5)) -> rule2) OR ((triple16 ((((((triple14) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((((triple14) -> rule4) ((((((triple14) -> rule4)) -> rule1)) -> rule5)) -> rule2))] Erin is young.[(triple16 OR ((triple14) -> rule4))] @1: Bob is cold.[(((triple3) -> rule1) OR ((((triple2) -> rule4)) -> rule1))] Dave is cold.[(((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] @2: Bob is kind.[(((((triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule1) triple1) -> rule7) OR ((((((triple2) -> rule4)) -> rule1)) -> rule5) OR ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7))] @3: Bob is white.[(((triple3 ((((triple3) -> rule1)) -> rule5)) -> rule2) OR ((triple3 ((((triple3) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule4) ((((triple3) -> rule1)) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((triple3) -> rule1) triple1) -> rule7)) -> rule2) OR ((triple3 ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((triple3 ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7)) -> rule2) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((((triple2) -> rule4)) -> rule1) triple1) -> rule7)) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
((((triple3 ((((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple2) -> (rule4 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 ((((((triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple2) -> (rule4 % int5)) ((((((triple2) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple2) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
((triple2) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
((triple8) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
triple6
((triple8 triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple8 triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple9 triple5) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple9 triple5) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((triple7) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple7) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple9 ((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple9 ((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((triple7) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule4 % int5)) ((((triple9) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple9 ((((((triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple9 ((((((triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule4 % int5)) ((((((triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple4) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((((triple7) -> (rule4 % int5)) ((((((triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
((triple9 triple5) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple7) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple9 ((((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple7) -> (rule4 % int4)) ((((triple9) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple9 ((((((triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple7) -> (rule4 % int4)) ((((((triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple9
((triple7) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple10
((triple16) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple14) -> (rule4 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
((triple10) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple15) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple16) -> (rule1 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple13
((triple15 triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple15 triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple16 triple12) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple16 triple12) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple16 ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple16 ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple14) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple14) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((triple14) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((((triple14) -> (rule4 % int4)) ((triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple16 ((((triple16) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((triple16 ((((triple16) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
((((((triple14) -> (rule4 % int5)) ((((triple16) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple14) -> (rule4 % int5)) ((((triple16) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple16 ((((((triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple16 ((((((triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple14) -> (rule4 % int5)) ((((((triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple14) -> (rule4 % int5)) ((((((triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule2 % int2)) triple14) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
triple14
Erin is white.
("Erin" "is" "white" "+")
triple15
((triple16 triple12) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple16 ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple14) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple14) -> (rule4 % int3)) ((triple10) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple16 ((((triple16) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((triple14) -> (rule4 % int4)) ((((triple16) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((triple16 ((((((triple14) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple14) -> (rule4 % int4)) ((((((triple14) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
triple16
((triple14) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2)) triple1) -> (rule7 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((triple3 ((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((triple3 ((((triple3) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple2) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple3 ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple3 ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple2) -> (rule4 % int4))) -> (rule1 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4