Anne is big. Anne is rough. Bob is big. Bob is red. Dave is big. Dave is blue. Dave is rough. Fiona is big. Fiona is cold. Fiona is red. All blue people are big. Quiet, big people are rough. Rough people are red. Big people are cold. All blue, cold people are red. All green people are quiet. All quiet people are big. Cold people are green. If someone is rough then they are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Quiet, big people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Big people are cold.
((("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All blue, cold people are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Cold people are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Anne is rough.
True
1
proof
[(triple2 OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2))]
("Anne" "is" "rough" "+")
triple2
((((((((triple1) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Fiona is not red.
False
1
inv-proof
[(triple10 OR ((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule3) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5) OR ((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5) OR ((((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5))]
("Fiona" "is" "red" "-")
triple10
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((((triple8) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4)) triple8) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple9) -> (rule8 % int6))) -> (rule6 % int5)) triple8) -> (rule2 % int4))) -> (rule9 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
((((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple8) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
((((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple8) -> (rule2 % int3))) -> (rule9 % int2)) ((triple8) -> (rule4 % int6))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
((((((((((triple9) -> (rule8 % int6))) -> (rule6 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((triple9) -> (rule8 % int7))) -> (rule6 % int6)) ((((((triple9) -> (rule8 % int7))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
Fiona is green.
("Fiona" "is" "green" "+")
int7
((((((((((((triple8) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Fiona is cold.
("Fiona" "is" "cold" "+")
int7
((((((((((((triple8) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) ((triple8) -> (rule4 % int7))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Fiona is cold.
("Fiona" "is" "cold" "+")
int7
Anne is red.
True
2
proof
[(((triple2) -> rule3) OR ((((triple2) -> rule9) ((triple1) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule1)) -> rule4)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2)) -> rule3) OR ((((((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2)) -> rule9) ((triple1) -> rule4)) -> rule5) OR ((((((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2)) -> rule9) ((((((triple2) -> rule9)) -> rule1)) -> rule4)) -> rule5))]
("Anne" "is" "red" "+")
((triple2) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2) -> (rule9 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2) -> (rule9 % int4)) ((((((triple2) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((((triple1) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((((triple1) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule9 % int2)) ((triple1) -> (rule4 % int6))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((((triple1) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) triple1) -> (rule2 % int4))) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int7))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Anne is cold.
("Anne" "is" "cold" "+")
int7
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule4) OR ((((((triple2) -> rule9)) -> rule1)) -> rule4))]
("Anne" "is" "cold" "-")
((triple1) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((((triple2) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Fiona is quiet.
True
3
proof
[(((((triple9) -> rule8)) -> rule6) OR ((((((triple8) -> rule4)) -> rule8)) -> rule6))]
("Fiona" "is" "quiet" "+")
((((triple9) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Anne is not green.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule8) OR ((((((((triple2) -> rule9)) -> rule1)) -> rule4)) -> rule8))]
("Anne" "is" "green" "-")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((((triple2) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Fiona is rough.
True
5
proof
[(((((((triple9) -> rule8)) -> rule6) triple8) -> rule2) OR ((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2) OR ((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2))]
("Fiona" "is" "rough" "+")
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2)) triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple8) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple8) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Bob is not quiet.
False
4
inv-proof
[(((((((triple3) -> rule4)) -> rule8)) -> rule6))]
("Bob" "is" "quiet" "-")
((((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is rough.
True
6
proof
[(((((((((triple3) -> rule4)) -> rule8)) -> rule6) triple3) -> rule2))]
("Bob" "is" "rough" "+")
((((((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Fiona is not blue.
False
6
inv-proof
[(((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9))]
("Fiona" "is" "blue" "-")
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((((triple8) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
Bob is blue.
True
7
proof
[(((((((((((triple3) -> rule4)) -> rule8)) -> rule6) triple3) -> rule2)) -> rule9))]
("Bob" "is" "blue" "+")
((((((((((triple3) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is not blue.
False
7
inv-proof
[(((((((((((triple3) -> rule4)) -> rule8)) -> rule6) triple3) -> rule2)) -> rule9))]
("Bob" "is" "blue" "-")
((((((((((triple3) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
@0: Anne is big.[(triple1 OR ((((triple2) -> rule9)) -> rule1))] Anne is rough.[(triple2 OR ((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2))] Bob is big.[(triple3)] Bob is red.[(triple4 OR ((((((((((triple3) -> rule4)) -> rule8)) -> rule6) triple3) -> rule2)) -> rule3) OR ((((((((((((triple3) -> rule4)) -> rule8)) -> rule6) triple3) -> rule2)) -> rule9) ((triple3) -> rule4)) -> rule5))] Dave is big.[(triple5 OR ((triple6) -> rule1) OR ((((triple7) -> rule9)) -> rule1))] Dave is blue.[(triple6 OR ((triple7) -> rule9) OR ((((((((((triple5) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2)) -> rule9))] Dave is rough.[(triple7 OR ((((((((triple5) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2) OR ((((((((triple5) -> rule4)) -> rule8)) -> rule6) ((triple6) -> rule1)) -> rule2) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2) OR ((((((((((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) ((triple6) -> rule1)) -> rule2))] Fiona is big.[(triple8 OR ((((((triple9) -> rule8)) -> rule6)) -> rule7))] Fiona is cold.[(triple9 OR ((triple8) -> rule4))] Fiona is red.[(triple10 OR ((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule3) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule3) OR ((((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5) OR ((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule3) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5) OR ((((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) triple9) -> rule5) OR ((((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) ((triple8) -> rule4)) -> rule5))] @1: Anne is blue.[(((triple2) -> rule9) OR ((((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2)) -> rule9))] Anne is cold.[(((triple1) -> rule4) OR ((((((triple2) -> rule9)) -> rule1)) -> rule4))] Anne is red.[(((triple2) -> rule3) OR ((((triple2) -> rule9) ((triple1) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((((triple2) -> rule9)) -> rule1)) -> rule4)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2)) -> rule3) OR ((((((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2)) -> rule9) ((triple1) -> rule4)) -> rule5) OR ((((((((((((triple1) -> rule4)) -> rule8)) -> rule6) triple1) -> rule2)) -> rule9) ((((((triple2) -> rule9)) -> rule1)) -> rule4)) -> rule5))] Bob is cold.[(((triple3) -> rule4))] Dave is cold.[(((triple5) -> rule4) OR ((((triple6) -> rule1)) -> rule4) OR ((((((triple7) -> rule9)) -> rule1)) -> rule4))] Dave is red.[(((triple7) -> rule3) OR ((triple6 ((triple5) -> rule4)) -> rule5) OR ((((triple7) -> rule9) ((triple5) -> rule4)) -> rule5) OR ((triple6 ((((triple6) -> rule1)) -> rule4)) -> rule5) OR ((((triple7) -> rule9) ((((triple6) -> rule1)) -> rule4)) -> rule5) OR ((triple6 ((((((triple7) -> rule9)) -> rule1)) -> rule4)) -> rule5) OR ((((triple7) -> rule9) ((((((triple7) -> rule9)) -> rule1)) -> rule4)) -> rule5) OR ((((((((((triple5) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2)) -> rule3) OR ((((((((((triple5) -> rule4)) -> rule8)) -> rule6) ((triple6) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2)) -> rule3) OR ((((((((((((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) ((triple6) -> rule1)) -> rule2)) -> rule3) OR ((((((((((((triple5) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2)) -> rule9) ((triple5) -> rule4)) -> rule5) OR ((((((((((((triple5) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2)) -> rule9) ((((triple6) -> rule1)) -> rule4)) -> rule5) OR ((((((((((((triple5) -> rule4)) -> rule8)) -> rule6) triple5) -> rule2)) -> rule9) ((((((triple7) -> rule9)) -> rule1)) -> rule4)) -> rule5))] Fiona is green.[(((triple9) -> rule8) OR ((((triple8) -> rule4)) -> rule8))] @2: Anne is green.[(((((triple1) -> rule4)) -> rule8) OR ((((((((triple2) -> rule9)) -> rule1)) -> rule4)) -> rule8))] Bob is green.[(((((triple3) -> rule4)) -> rule8))] Dave is green.[(((((triple5) -> rule4)) -> rule8) OR ((((((triple6) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple7) -> rule9)) -> rule1)) -> rule4)) -> rule8))] Fiona is quiet.[(((((triple9) -> rule8)) -> rule6) OR ((((((triple8) -> rule4)) -> rule8)) -> rule6))] @3: Anne is quiet.[(((((((triple1) -> rule4)) -> rule8)) -> rule6) OR ((((((((((triple2) -> rule9)) -> rule1)) -> rule4)) -> rule8)) -> rule6))] Bob is quiet.[(((((((triple3) -> rule4)) -> rule8)) -> rule6))] Dave is quiet.[(((((((triple5) -> rule4)) -> rule8)) -> rule6) OR ((((((((triple6) -> rule1)) -> rule4)) -> rule8)) -> rule6) OR ((((((((((triple7) -> rule9)) -> rule1)) -> rule4)) -> rule8)) -> rule6))] Fiona is rough.[(((((((triple9) -> rule8)) -> rule6) triple8) -> rule2) OR ((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2) OR ((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2))] @4: Bob is rough.[(((((((((triple3) -> rule4)) -> rule8)) -> rule6) triple3) -> rule2))] Fiona is blue.[(((((((((triple9) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) triple8) -> rule2)) -> rule9) OR ((((((((triple9) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9) OR ((((((((((triple8) -> rule4)) -> rule8)) -> rule6) ((((((triple9) -> rule8)) -> rule6)) -> rule7)) -> rule2)) -> rule9))] @5: Bob is blue.[(((((((((((triple3) -> rule4)) -> rule8)) -> rule6) triple3) -> rule2)) -> rule9))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((triple2) -> (rule9 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple2
((((((((triple1) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
((((((((((triple3) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((((((((triple3) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple3) -> (rule2 % int3))) -> (rule9 % int2)) ((triple3) -> (rule4 % int6))) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
Dave is big.
("Dave" "is" "big" "+")
triple5
((triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((((triple7) -> (rule9 % int2))) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple6
((triple7) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((((((((triple5) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple5) -> (rule2 % int2))) -> (rule9 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
triple7
((((((((triple5) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((((triple5) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple5) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple6) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple6) -> (rule1 % int5))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
triple8
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
((triple8) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple10
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((((triple8) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4)) triple8) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple9) -> (rule8 % int6))) -> (rule6 % int5)) triple8) -> (rule2 % int4))) -> (rule9 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
((((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple8) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
((((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple8) -> (rule2 % int3))) -> (rule9 % int2)) ((triple8) -> (rule4 % int6))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
((((((((((triple9) -> (rule8 % int6))) -> (rule6 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((triple9) -> (rule8 % int7))) -> (rule6 % int6)) ((((((triple9) -> (rule8 % int7))) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int6
Fiona is green.
("Fiona" "is" "green" "+")
int7
((((((((((((triple8) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple9) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Fiona is cold.
("Fiona" "is" "cold" "+")
int7
((((((((((((triple8) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) ((((((triple9) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) ((triple8) -> (rule4 % int7))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
Fiona is cold.
("Fiona" "is" "cold" "+")
int7
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((((((((triple1) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule9 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((((triple2) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2) -> (rule9 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2) -> (rule9 % int4)) ((((((triple2) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((((triple1) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is green.
("Anne" "is" "green" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((((triple1) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple1) -> (rule2 % int3))) -> (rule9 % int2)) ((triple1) -> (rule4 % int6))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is green.
("Anne" "is" "green" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
int6
((((((((((((triple1) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) triple1) -> (rule2 % int4))) -> (rule9 % int3)) ((((((triple2) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int7))) -> (rule5 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
int6
Anne is cold.
("Anne" "is" "cold" "+")
int7
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((((triple6) -> (rule1 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((((triple7) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((triple7) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple6 ((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((triple7) -> (rule9 % int3)) ((triple5) -> (rule4 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((triple6 ((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((triple7) -> (rule9 % int4)) ((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((triple6 ((((((triple7) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((triple7) -> (rule9 % int4)) ((((((triple7) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((((triple5) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
((((((((((triple5) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((((triple6) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple5) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((((((((triple6) -> (rule1 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple6) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
int5
Dave is big.
("Dave" "is" "big" "+")
int6
((((((((((((triple5) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) triple5) -> (rule2 % int3))) -> (rule9 % int2)) ((triple5) -> (rule4 % int6))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is cold.
("Dave" "is" "cold" "+")
int6
((((((((((((triple5) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) triple5) -> (rule2 % int4))) -> (rule9 % int3)) ((((triple6) -> (rule1 % int2))) -> (rule4 % int7))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
int7
((((((((((((triple5) -> (rule4 % int7))) -> (rule8 % int6))) -> (rule6 % int5)) triple5) -> (rule2 % int4))) -> (rule9 % int3)) ((((((triple7) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule4 % int7))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
int7
Fiona is green.
("Fiona" "is" "green" "+")
((triple9) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((((triple2) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((((((triple6) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((((triple7) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple9) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple8) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((((triple2) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
((((((((triple6) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((((triple7) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple9) -> (rule8 % int3))) -> (rule6 % int2)) triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple8) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple8) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple9) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple8) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((((((triple9) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
((((((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((((triple9) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((((triple8) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple8) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((((triple9) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple8) -> (rule4 % int6))) -> (rule8 % int5))) -> (rule6 % int4)) ((((((triple9) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
int6
Bob is blue.
("Bob" "is" "blue" "+")
((((((((((triple3) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) triple3) -> (rule2 % int2))) -> (rule9 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5