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