Anne is blue. Anne is green. Anne is young. Dave is blue. Dave is green. Dave is white. Dave is young. Erin is green. Harry is blue. Harry is green. Harry is nice. Harry is white. If something is cold then it is round. If something is nice then it is blue. All young, round things are nice. If something is green and blue then it is young. All young things are cold. All green things are blue. Young, white things are nice. All cold things are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All young, round things are nice.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is green and blue then it is young.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
All young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Young, white things are nice.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
All cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Anne is young.
True
1
proof
[(triple3 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule6)) -> rule4))]
("Anne" "is" "young" "+")
triple3
((triple2 triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple2 ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not young.
False
1
inv-proof
[(triple3 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule6)) -> rule4))]
("Anne" "is" "young" "-")
triple3
((triple2 triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple2 ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
True
2
proof
[(((triple3) -> rule5) OR ((((triple2 triple1) -> rule4)) -> rule5) OR ((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5))]
("Anne" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple2 triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Harry is not young.
False
3
inv-proof
[(((triple10 triple9) -> rule4) OR ((triple10 ((triple10) -> rule6)) -> rule4) OR ((triple10 ((triple11) -> rule2)) -> rule4))]
("Harry" "is" "young" "-")
((triple10 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple10 ((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple10 ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Anne is white.
True
3
proof
[(((((triple3) -> rule5)) -> rule8) OR ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule8))]
("Anne" "is" "white" "+")
((((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple2 triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Erin is not young.
False
4
inv-proof
[(((triple8 ((triple8) -> rule6)) -> rule4))]
("Erin" "is" "young" "-")
((triple8 ((triple8) -> (rule6 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Harry is round.
True
5
proof
[(((((((triple10 triple9) -> rule4)) -> rule5)) -> rule1) OR ((((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple10 ((triple11) -> rule2)) -> rule4)) -> rule5)) -> rule1))]
("Harry" "is" "round" "+")
((((((triple10 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10 ((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple10 ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Erin is not cold.
False
5
inv-proof
[(((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5))]
("Erin" "is" "cold" "-")
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is round.
True
6
proof
[(((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule1))]
("Erin" "is" "round" "+")
((((((triple8 ((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is not white.
False
6
inv-proof
[(((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule8))]
("Erin" "is" "white" "-")
((((((triple8 ((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is nice.
True
11
proof
[(((((triple8 ((triple8) -> rule6)) -> rule4) ((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8 ((triple8) -> rule6)) -> rule4) ((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7))]
("Erin" "is" "nice" "+")
((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is not nice.
False
11
inv-proof
[(((((triple8 ((triple8) -> rule6)) -> rule4) ((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8 ((triple8) -> rule6)) -> rule4) ((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7))]
("Erin" "is" "nice" "-")
((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
@0: Anne is blue.[(triple1 OR ((triple2) -> rule6) OR ((((triple3 ((((triple3) -> rule5)) -> rule1)) -> rule3)) -> rule2) OR ((((triple3 ((((triple3) -> rule5)) -> rule8)) -> rule7)) -> rule2))] Anne is green.[(triple2)] Anne is young.[(triple3 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule6)) -> rule4))] Dave is blue.[(triple4 OR ((triple5) -> rule6) OR ((((triple7 triple6) -> rule7)) -> rule2) OR ((((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule3)) -> rule2) OR ((((triple7 ((((triple7) -> rule5)) -> rule8)) -> rule7)) -> rule2))] Dave is green.[(triple5)] Dave is white.[(triple6 OR ((((triple7) -> rule5)) -> rule8) OR ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule8) OR ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule8))] Dave is young.[(triple7 OR ((triple5 triple4) -> rule4) OR ((triple5 ((triple5) -> rule6)) -> rule4))] Erin is green.[(triple8)] Harry is blue.[(triple9 OR ((triple10) -> rule6) OR ((triple11) -> rule2))] Harry is green.[(triple10)] Harry is nice.[(triple11 OR ((((triple10 triple9) -> rule4) triple12) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule4) triple12) -> rule7) OR ((((triple10 triple9) -> rule4) ((((((triple10 triple9) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple10 triple9) -> rule4) ((((((triple10 triple9) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule4) ((((((triple10 triple9) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple10 ((triple10) -> rule6)) -> rule4) ((((((triple10 triple9) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple10 triple9) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple10 triple9) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple10 ((triple10) -> rule6)) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple10 ((triple10) -> rule6)) -> rule4) ((((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7))] Harry is white.[(triple12 OR ((((((triple10 triple9) -> rule4)) -> rule5)) -> rule8) OR ((((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule8) OR ((((((triple10 ((triple11) -> rule2)) -> rule4)) -> rule5)) -> rule8))] @1: Anne is cold.[(((triple3) -> rule5) OR ((((triple2 triple1) -> rule4)) -> rule5) OR ((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5))] Dave is cold.[(((triple7) -> rule5) OR ((((triple5 triple4) -> rule4)) -> rule5) OR ((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5))] Dave is nice.[(((triple7 triple6) -> rule7) OR ((((triple5 triple4) -> rule4) triple6) -> rule7) OR ((triple7 ((((triple7) -> rule5)) -> rule1)) -> rule3) OR ((triple7 ((((triple7) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 ((triple5) -> rule6)) -> rule4) triple6) -> rule7) OR ((((triple5 triple4) -> rule4) ((((triple7) -> rule5)) -> rule1)) -> rule3) OR ((((triple5 triple4) -> rule4) ((((triple7) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 ((triple5) -> rule6)) -> rule4) ((((triple7) -> rule5)) -> rule1)) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule4) ((((triple7) -> rule5)) -> rule8)) -> rule7) OR ((triple7 ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple7 ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 triple4) -> rule4) ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple5 triple4) -> rule4) ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 ((triple5) -> rule6)) -> rule4) ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule4) ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((triple7 ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple7 ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 triple4) -> rule4) ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple5 triple4) -> rule4) ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple5 ((triple5) -> rule6)) -> rule4) ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple5 ((triple5) -> rule6)) -> rule4) ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7))] Erin is blue.[(((triple8) -> rule6))] Harry is young.[(((triple10 triple9) -> rule4) OR ((triple10 ((triple10) -> rule6)) -> rule4) OR ((triple10 ((triple11) -> rule2)) -> rule4))] @2: Anne is round.[(((((triple3) -> rule5)) -> rule1) OR ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule1) OR ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1))] Anne is white.[(((((triple3) -> rule5)) -> rule8) OR ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule8) OR ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule8))] Dave is round.[(((((triple7) -> rule5)) -> rule1) OR ((((((triple5 triple4) -> rule4)) -> rule5)) -> rule1) OR ((((((triple5 ((triple5) -> rule6)) -> rule4)) -> rule5)) -> rule1))] Erin is young.[(((triple8 ((triple8) -> rule6)) -> rule4))] Harry is cold.[(((((triple10 triple9) -> rule4)) -> rule5) OR ((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5) OR ((((triple10 ((triple11) -> rule2)) -> rule4)) -> rule5))] @3: Anne is nice.[(((triple3 ((((triple3) -> rule5)) -> rule1)) -> rule3) OR ((triple3 ((((triple3) -> rule5)) -> rule8)) -> rule7) OR ((((triple2 triple1) -> rule4) ((((triple3) -> rule5)) -> rule1)) -> rule3) OR ((((triple2 triple1) -> rule4) ((((triple3) -> rule5)) -> rule8)) -> rule7) OR ((((triple2 ((triple2) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule6)) -> rule4) ((((triple3) -> rule5)) -> rule8)) -> rule7) OR ((triple3 ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple3 ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple2 triple1) -> rule4) ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2 triple1) -> rule4) ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple2 ((triple2) -> rule6)) -> rule4) ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule6)) -> rule4) ((((((triple2 triple1) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((triple3 ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((triple3 ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple2 triple1) -> rule4) ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2 triple1) -> rule4) ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7) OR ((((triple2 ((triple2) -> rule6)) -> rule4) ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple2 ((triple2) -> rule6)) -> rule4) ((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7))] Erin is cold.[(((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5))] Harry is round.[(((((((triple10 triple9) -> rule4)) -> rule5)) -> rule1) OR ((((((triple10 ((triple10) -> rule6)) -> rule4)) -> rule5)) -> rule1) OR ((((((triple10 ((triple11) -> rule2)) -> rule4)) -> rule5)) -> rule1))] @4: Erin is round.[(((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule1))] Erin is white.[(((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule8))] @5: Erin is nice.[(((((triple8 ((triple8) -> rule6)) -> rule4) ((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule1)) -> rule3) OR ((((triple8 ((triple8) -> rule6)) -> rule4) ((((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule5)) -> rule8)) -> rule7))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple3 ((((triple3) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((triple3 ((((triple3) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2 triple1) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((triple2 ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((triple5) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple7 triple6) -> (rule7 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple7 ((((triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((triple7 ((((triple7) -> (rule5 % int4))) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((((triple7) -> (rule5 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple5 triple4) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple5 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
((triple10) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple11) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
((((triple10 triple9) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple10 ((triple10) -> (rule6 % int3))) -> (rule4 % int2)) triple12) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple10 triple9) -> (rule4 % int4)) ((((((triple10 triple9) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 triple9) -> (rule4 % int4)) ((((((triple10 triple9) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 ((triple10) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple10 triple9) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple10 ((triple10) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple10 triple9) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple10 triple9) -> (rule4 % int5)) ((((((triple10 ((triple10) -> (rule6 % int4))) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple10 triple9) -> (rule4 % int5)) ((((((triple10 ((triple10) -> (rule6 % int4))) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple10 ((triple10) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple10 ((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple10 ((triple10) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple10 ((triple10) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
triple12
((((((triple10 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10 ((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple10 ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple2 triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple5 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((triple7 triple6) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple5 triple4) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((triple7 ((((triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((triple7 ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((triple5 ((triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple6) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple5 triple4) -> (rule4 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple7) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((triple7 ((((((triple5 triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((triple7 ((((((triple5 triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((((((triple5 triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple5 triple4) -> (rule4 % int4)) ((((((triple5 triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5 triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5 triple4) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((triple7 ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((triple7 ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple5 triple4) -> (rule4 % int5)) ((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple5 triple4) -> (rule4 % int5)) ((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5 ((triple5) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Erin is blue.
("Erin" "is" "blue" "+")
((triple8) -> (rule6 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple10 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((triple10 ((triple10) -> (rule6 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple10 ((triple11) -> (rule2 % int2))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
((((triple3) -> (rule5 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple2 triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple2 triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
((((triple7) -> (rule5 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple5 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5 ((triple5) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((triple8 ((triple8) -> (rule6 % int2))) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple10 triple9) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple10 ((triple10) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple10 ((triple11) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((triple3 ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((triple3 ((((triple3) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple2 triple1) -> (rule4 % int4)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple2 triple1) -> (rule4 % int4)) ((((triple3) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((triple3 ((((((triple2 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((triple3 ((((((triple2 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple2 triple1) -> (rule4 % int4)) ((((((triple2 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple2 triple1) -> (rule4 % int4)) ((((((triple2 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2 triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((triple3 ((((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((triple3 ((((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((triple2 triple1) -> (rule4 % int5)) ((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple2 triple1) -> (rule4 % int5)) ((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule4 % int5))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple2 ((triple2) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Erin is cold.
("Erin" "is" "cold" "+")
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
((((((triple10 triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((triple10 ((triple10) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple10 ((triple11) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((((triple8 ((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
((((((triple8 ((triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5