Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is white. Fiona is quiet. Fiona is white. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is white. Harry is green. Harry is kind. Harry is quiet. Harry is red. Cold things are nice. All nice, cold things are red. Quiet, red things are kind. If something is cold then it is nice. All cold things are white. White things are cold. All quiet, red things are kind. Kind, cold things are green. If something is green and red then it is white.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
All nice, cold things are red.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Quiet, red things are kind.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is cold then it is nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
All cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
White things are cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All quiet, red things are kind.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
Kind, cold things are green.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is green and red then it is white.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple5 OR ((triple1) -> rule5) OR ((triple2 triple4) -> rule9) OR ((((triple3 triple1) -> rule8) triple4) -> rule9) OR ((triple2 ((((triple1) -> rule1) triple1) -> rule2)) -> rule9) OR ((triple2 ((((triple1) -> rule4) triple1) -> rule2)) -> rule9) OR ((((triple3 triple1) -> rule8) ((((triple1) -> rule1) triple1) -> rule2)) -> rule9) OR ((((triple3 triple1) -> rule8) ((((triple1) -> rule4) triple1) -> rule2)) -> rule9))]
("Erin" "is" "white" "+")
triple5
((triple1) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple2 triple4) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple3 triple1) -> (rule8 % int2)) triple4) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple2 ((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple2 ((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple3 triple1) -> (rule8 % int4)) ((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple3 triple1) -> (rule8 % int4)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is not cold.
False
1
inv-proof
[(triple1 OR ((triple5) -> rule6) OR ((((triple2 triple4) -> rule9)) -> rule6))]
("Erin" "is" "cold" "-")
triple1
((triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple2 triple4) -> (rule9 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is kind.
True
3
proof
[(((triple10 triple11) -> rule3) OR ((triple10 triple11) -> rule7) OR ((triple10 ((triple9 ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((triple10 ((triple9 ((triple12) -> rule6)) -> rule2)) -> rule7) OR ((triple10 ((((((triple12) -> rule6)) -> rule1) ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((triple10 ((((((triple12) -> rule6)) -> rule1) ((triple12) -> rule6)) -> rule2)) -> rule7) OR ((triple10 ((((((triple12) -> rule6)) -> rule4) ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((triple10 ((((((triple12) -> rule6)) -> rule4) ((triple12) -> rule6)) -> rule2)) -> rule7))]
("Gary" "is" "kind" "+")
((triple10 triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 triple11) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 ((triple9 ((triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple10 ((triple9 ((triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is not cold.
False
2
inv-proof
[(((triple12) -> rule6) OR ((((triple8 triple11) -> rule9)) -> rule6))]
("Gary" "is" "cold" "-")
((triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8 triple11) -> (rule9 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Fiona is nice.
True
3
proof
[(((((triple7) -> rule6)) -> rule1) OR ((((triple7) -> rule6)) -> rule4))]
("Fiona" "is" "nice" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule1) OR ((((triple7) -> rule6)) -> rule4))]
("Fiona" "is" "nice" "-")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is nice.
True
5
proof
[(((((((triple13 triple16) -> rule9)) -> rule6)) -> rule1) OR ((((((triple13 triple16) -> rule9)) -> rule6)) -> rule4))]
("Harry" "is" "nice" "+")
((((((triple13 triple16) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple13 triple16) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is not nice.
False
5
inv-proof
[(((((((triple13 triple16) -> rule9)) -> rule6)) -> rule1) OR ((((((triple13 triple16) -> rule9)) -> rule6)) -> rule4))]
("Harry" "is" "nice" "-")
((((((triple13 triple16) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple13 triple16) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Fiona is kind.
True
8
proof
[(((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule7) OR ((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule7))]
("Fiona" "is" "kind" "+")
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is not kind.
False
8
inv-proof
[(((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule7) OR ((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule7))]
("Fiona" "is" "kind" "-")
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is green.
True
11
proof
[(((((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule3) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule7) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule3) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule7) ((triple7) -> rule6)) -> rule8))]
("Fiona" "is" "green" "+")
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Fiona is not green.
False
11
inv-proof
[(((((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule3) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule7) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule3) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule7) ((triple7) -> rule6)) -> rule8))]
("Fiona" "is" "green" "-")
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
@0: Erin is cold.[(triple1 OR ((triple5) -> rule6) OR ((((triple2 triple4) -> rule9)) -> rule6))] Erin is green.[(triple2 OR ((triple3 triple1) -> rule8) OR ((triple3 ((triple5) -> rule6)) -> rule8))] Erin is kind.[(triple3)] Erin is red.[(triple4 OR ((((triple1) -> rule1) triple1) -> rule2) OR ((((triple1) -> rule4) triple1) -> rule2) OR ((((triple1) -> rule1) ((triple5) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) triple1) -> rule2) OR ((((((triple5) -> rule6)) -> rule4) triple1) -> rule2) OR ((((((triple5) -> rule6)) -> rule1) ((triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule6)) -> rule4) ((triple5) -> rule6)) -> rule2))] Erin is white.[(triple5 OR ((triple1) -> rule5) OR ((triple2 triple4) -> rule9) OR ((((triple3 triple1) -> rule8) triple4) -> rule9) OR ((triple2 ((((triple1) -> rule1) triple1) -> rule2)) -> rule9) OR ((triple2 ((((triple1) -> rule4) triple1) -> rule2)) -> rule9) OR ((((triple3 triple1) -> rule8) ((((triple1) -> rule1) triple1) -> rule2)) -> rule9) OR ((((triple3 triple1) -> rule8) ((((triple1) -> rule4) triple1) -> rule2)) -> rule9))] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] Gary is green.[(triple8 OR ((((triple10 triple11) -> rule3) ((triple12) -> rule6)) -> rule8) OR ((((triple10 triple11) -> rule7) ((triple12) -> rule6)) -> rule8) OR ((((triple10 ((triple9 ((triple12) -> rule6)) -> rule2)) -> rule3) ((triple12) -> rule6)) -> rule8) OR ((((triple10 ((triple9 ((triple12) -> rule6)) -> rule2)) -> rule7) ((triple12) -> rule6)) -> rule8) OR ((((triple10 ((((((triple12) -> rule6)) -> rule1) ((triple12) -> rule6)) -> rule2)) -> rule3) ((triple12) -> rule6)) -> rule8) OR ((((triple10 ((((((triple12) -> rule6)) -> rule1) ((triple12) -> rule6)) -> rule2)) -> rule7) ((triple12) -> rule6)) -> rule8) OR ((((triple10 ((((((triple12) -> rule6)) -> rule4) ((triple12) -> rule6)) -> rule2)) -> rule3) ((triple12) -> rule6)) -> rule8) OR ((((triple10 ((((((triple12) -> rule6)) -> rule4) ((triple12) -> rule6)) -> rule2)) -> rule7) ((triple12) -> rule6)) -> rule8))] Gary is nice.[(triple9 OR ((((triple12) -> rule6)) -> rule1) OR ((((triple12) -> rule6)) -> rule4) OR ((((((triple8 triple11) -> rule9)) -> rule6)) -> rule1) OR ((((((triple8 triple11) -> rule9)) -> rule6)) -> rule4))] Gary is quiet.[(triple10)] Gary is red.[(triple11 OR ((triple9 ((triple12) -> rule6)) -> rule2) OR ((((((triple12) -> rule6)) -> rule1) ((triple12) -> rule6)) -> rule2) OR ((((((triple12) -> rule6)) -> rule4) ((triple12) -> rule6)) -> rule2))] Gary is white.[(triple12 OR ((triple8 triple11) -> rule9))] Harry is green.[(triple13)] Harry is kind.[(triple14 OR ((triple15 triple16) -> rule3) OR ((triple15 triple16) -> rule7))] Harry is quiet.[(triple15)] Harry is red.[(triple16)] @1: Erin is nice.[(((triple1) -> rule1) OR ((triple1) -> rule4) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule6)) -> rule4) OR ((((((triple2 triple4) -> rule9)) -> rule6)) -> rule1) OR ((((((triple2 triple4) -> rule9)) -> rule6)) -> rule4))] Fiona is cold.[(((triple7) -> rule6))] Gary is cold.[(((triple12) -> rule6) OR ((((triple8 triple11) -> rule9)) -> rule6))] Gary is kind.[(((triple10 triple11) -> rule3) OR ((triple10 triple11) -> rule7) OR ((triple10 ((triple9 ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((triple10 ((triple9 ((triple12) -> rule6)) -> rule2)) -> rule7) OR ((triple10 ((((((triple12) -> rule6)) -> rule1) ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((triple10 ((((((triple12) -> rule6)) -> rule1) ((triple12) -> rule6)) -> rule2)) -> rule7) OR ((triple10 ((((((triple12) -> rule6)) -> rule4) ((triple12) -> rule6)) -> rule2)) -> rule3) OR ((triple10 ((((((triple12) -> rule6)) -> rule4) ((triple12) -> rule6)) -> rule2)) -> rule7))] Harry is white.[(((triple13 triple16) -> rule9))] @2: Fiona is nice.[(((((triple7) -> rule6)) -> rule1) OR ((((triple7) -> rule6)) -> rule4))] Harry is cold.[(((((triple13 triple16) -> rule9)) -> rule6))] @3: Fiona is red.[(((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2) OR ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2))] Harry is nice.[(((((((triple13 triple16) -> rule9)) -> rule6)) -> rule1) OR ((((((triple13 triple16) -> rule9)) -> rule6)) -> rule4))] @4: Fiona is kind.[(((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule7) OR ((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule3) OR ((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule7))] @5: Fiona is green.[(((((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule3) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule6)) -> rule2)) -> rule7) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule3) ((triple7) -> rule6)) -> rule8) OR ((((triple6 ((((((triple7) -> rule6)) -> rule4) ((triple7) -> rule6)) -> rule2)) -> rule7) ((triple7) -> rule6)) -> rule8))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
((triple5) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple2 triple4) -> (rule9 % int2))) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
triple2
((triple3 triple1) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple3 ((triple5) -> (rule6 % int2))) -> (rule8 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple1) -> (rule4 % int3)) ((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule1 % int2)) ((triple5) -> (rule6 % int3))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple5) -> (rule6 % int3))) -> (rule4 % int2)) ((triple5) -> (rule6 % int3))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
triple5
((triple1) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple2 triple4) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple3 triple1) -> (rule8 % int2)) triple4) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((triple2 ((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple2 ((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple3 triple1) -> (rule8 % int4)) ((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple3 triple1) -> (rule8 % int4)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
((((triple10 triple11) -> (rule3 % int3)) ((triple12) -> (rule6 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple10 triple11) -> (rule7 % int3)) ((triple12) -> (rule6 % int2))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((triple10 ((triple9 ((triple12) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int4))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple10 ((triple9 ((triple12) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple12) -> (rule6 % int4))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((triple10 ((((((triple12) -> (rule6 % int5))) -> (rule1 % int4)) ((triple12) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int5))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple10 ((((((triple12) -> (rule6 % int5))) -> (rule1 % int4)) ((triple12) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple12) -> (rule6 % int5))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple10 ((((((triple12) -> (rule6 % int5))) -> (rule4 % int4)) ((triple12) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple12) -> (rule6 % int5))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
((((triple10 ((((((triple12) -> (rule6 % int5))) -> (rule4 % int4)) ((triple12) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple12) -> (rule6 % int5))) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple9
((((triple12) -> (rule6 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple8 triple11) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((((((triple8 triple11) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
((triple9 ((triple12) -> (rule6 % int2))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple12) -> (rule6 % int3))) -> (rule1 % int2)) ((triple12) -> (rule6 % int3))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple12) -> (rule6 % int3))) -> (rule4 % int2)) ((triple12) -> (rule6 % int3))) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple12
((triple8 triple11) -> (rule9 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
((triple15 triple16) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple15 triple16) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is red.
("Harry" "is" "red" "+")
triple16
Erin is nice.
("Erin" "is" "nice" "+")
((triple1) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple1) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple5) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((((triple2 triple4) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple2 triple4) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple7) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple8 triple11) -> (rule9 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple10 triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 triple11) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 ((triple9 ((triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple10 ((triple9 ((triple12) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule1 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((triple10 ((((((triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple12) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((triple13 triple16) -> (rule9 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple13 triple16) -> (rule9 % int2))) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2)) ((triple7) -> (rule6 % int3))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int3))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((((((triple13 triple16) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple13 triple16) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule1 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple6 ((((((triple7) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int4))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule1 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple6 ((((((triple7) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7) -> (rule6 % int5))) -> (rule2 % int3))) -> (rule7 % int2)) ((triple7) -> (rule6 % int5))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5