Anne is blue. Bob is cold. Bob is not red. Bob is not rough. Bob is white. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is white. Red people are white. Red, blue people are rough. If someone is quiet and cold then they are nice. Blue people are red. All white, quiet people are cold. All white people are quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Red, blue people are rough.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is quiet and cold then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All white, quiet people are cold.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Bob is cold.
True
1
proof
[(triple2 OR ((triple5 ((triple5) -> rule6)) -> rule5))]
("Bob" "is" "cold" "+")
triple2
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Fiona is not cold.
False
1
inv-proof
[(triple7 OR ((triple12 triple9) -> rule5) OR ((triple12 ((triple12) -> rule6)) -> rule5) OR ((((triple10) -> rule1) triple9) -> rule5) OR ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5) OR ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5))]
("Fiona" "is" "cold" "-")
triple7
((triple12 triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple12 ((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple10) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple10) -> (rule1 % int3)) ((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple12 ((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple6) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple10) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple12 ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Bob is quiet.
True
2
proof
[(((triple5) -> rule6))]
("Bob" "is" "quiet" "+")
((triple5) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is not quiet.
False
2
inv-proof
[(((triple5) -> rule6))]
("Bob" "is" "quiet" "-")
((triple5) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Anne is rough.
True
4
proof
[(((((triple1) -> rule4) triple1) -> rule2))]
("Anne" "is" "rough" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not rough.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule2))]
("Anne" "is" "rough" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
True
4
proof
[(((((((triple1) -> rule4)) -> rule1)) -> rule6))]
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is not quiet.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule1)) -> rule6))]
("Anne" "is" "quiet" "-")
((((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
@0: Anne is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple5 ((triple5) -> rule6)) -> rule5))] Bob is not red.[(triple3)] Bob is not rough.[(triple4)] Bob is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7 OR ((triple12 triple9) -> rule5) OR ((triple12 ((triple12) -> rule6)) -> rule5) OR ((((triple10) -> rule1) triple9) -> rule5) OR ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5) OR ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5) OR ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5))] Fiona is nice.[(triple8 OR ((triple9 triple7) -> rule3) OR ((triple9 ((triple12 triple9) -> rule5)) -> rule3) OR ((((triple12) -> rule6) triple7) -> rule3) OR ((((triple12) -> rule6) ((triple12 triple9) -> rule5)) -> rule3) OR ((triple9 ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) triple7) -> rule3) OR ((triple9 ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 triple9) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) triple7) -> rule3) OR ((triple9 ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 triple9) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) triple9) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) triple9) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((triple12) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((triple10) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((triple9 ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((triple12) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((triple12 ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((triple10) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((triple10) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule1)) -> rule6) ((((((triple6) -> rule4)) -> rule1) ((((((triple6) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3))] Fiona is quiet.[(triple9 OR ((triple12) -> rule6) OR ((((triple10) -> rule1)) -> rule6) OR ((((((triple6) -> rule4)) -> rule1)) -> rule6))] Fiona is red.[(triple10 OR ((triple6) -> rule4))] Fiona is rough.[(triple11 OR ((triple10 triple6) -> rule2) OR ((((triple6) -> rule4) triple6) -> rule2))] Fiona is white.[(triple12 OR ((triple10) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] @1: Anne is red.[(((triple1) -> rule4))] Bob is quiet.[(((triple5) -> rule6))] @2: Anne is rough.[(((((triple1) -> rule4) triple1) -> rule2))] Anne is white.[(((((triple1) -> rule4)) -> rule1))] Bob is nice.[(((((triple5) -> rule6) triple2) -> rule3) OR ((((triple5) -> rule6) ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule3))] @3: Anne is quiet.[(((((((triple1) -> rule4)) -> rule1)) -> rule6))] @4: Anne is cold.[(((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule4)) -> rule1)) -> rule6)) -> rule5))] @5: Anne is nice.[(((((((((triple1) -> rule4)) -> rule1)) -> rule6) ((((((triple1) -> rule4)) -> rule1) ((((((triple1) -> rule4)) -> rule1)) -> rule6)) -> rule5)) -> rule3))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple12 triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple12 ((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple10) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple10) -> (rule1 % int3)) ((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple12 ((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple6) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((triple10) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple12) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple12 ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((triple10) -> (rule1 % int4)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
((triple9 triple7) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple9 ((triple12 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple12) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((((triple12) -> (rule6 % int3)) ((triple12 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple9 ((triple12 ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((triple9 ((((triple10) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple10) -> (rule1 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple9 ((((triple10) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple12) -> (rule6 % int3)) ((triple12 ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
((((triple12) -> (rule6 % int4)) ((((triple10) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple12) -> (rule6 % int4)) ((((triple10) -> (rule1 % int3)) ((triple12) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((((triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((triple9 ((triple12 ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((triple9 ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple7) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple9 ((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((triple9 ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((triple12) -> (rule6 % int4)) ((triple12 ((((triple10) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple12) -> (rule6 % int5)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple9 ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((triple12) -> (rule6 % int4)) ((((triple10) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
((((triple12) -> (rule6 % int5)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple12) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int5)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((triple12) -> (rule6 % int5)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple10) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple10) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int5)) ((triple12) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int5)) ((((triple10) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((triple12) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple10) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple9 ((triple12 ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((triple9 ((((triple10) -> (rule1 % int5)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple12) -> (rule6 % int5)) ((triple12 ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((triple9 ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((triple12) -> (rule6 % int5)) ((((triple10) -> (rule1 % int4)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int4))) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((triple12 ((((((triple6) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple12) -> (rule6 % int5)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule1 % int5)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple12 ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple10) -> (rule1 % int5))) -> (rule6 % int4)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int5)) ((((((triple6) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule1 % int4)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
((triple12) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((triple6) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple10
((triple6) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
((triple10 triple6) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple6) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple5) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple5) -> (rule6 % int2)) triple2) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple5) -> (rule6 % int3)) ((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
((((((triple1) -> (rule4 % int4))) -> (rule1 % int3)) ((((((triple1) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((((((triple1) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple1) -> (rule4 % int5))) -> (rule1 % int4)) ((((((triple1) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5