Erin is red. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is round. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is round. All nice people are cold. Blue people are cold. If someone is round then they are blue. Big, blue people are red. If someone is red and big then they are blue. If someone is blue then they are big. If someone is blue and red then they are nice. If someone is cold then they are blue.
Erin is red.
("Erin" "is" "red" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
All nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Big, blue people are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue then they are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Gary is blue.
True
1
proof
[(triple7 OR ((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule8))]
("Gary" "is" "blue" "+")
triple7
((triple10) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Fiona is not quiet.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "quiet" "-")
triple4
Gary is cold.
True
2
proof
[(((triple7) -> rule2) OR ((triple8) -> rule1) OR ((((triple10) -> rule3)) -> rule2) OR ((((triple7 ((triple6 triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((triple6 triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((triple7) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1))]
("Gary" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple8) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple7 ((triple6 triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple6 triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((triple6 ((triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((((triple7) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple7 ((((triple7) -> (rule6 % int5)) ((triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule3 % int4)) ((triple6 ((triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple10) -> (rule3 % int5)) ((((triple7) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple10) -> (rule3 % int5)) ((((triple7) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7 ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7 ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple10) -> (rule3 % int5)) ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple10) -> (rule3 % int5)) ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Fiona is not blue.
False
2
inv-proof
[(((triple2) -> rule8) OR ((triple5) -> rule3) OR ((((triple3) -> rule1)) -> rule8))]
("Fiona" "is" "blue" "-")
((triple2) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple5) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
True
3
proof
[(((((triple2) -> rule8)) -> rule6) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple3) -> rule1)) -> rule8)) -> rule6))]
("Fiona" "is" "big" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is not big.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule6) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple3) -> rule1)) -> rule8)) -> rule6))]
("Fiona" "is" "big" "-")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
True
6
proof
[(((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4))]
("Fiona" "is" "red" "+")
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is not red.
False
6
inv-proof
[(((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4))]
("Fiona" "is" "red" "-")
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Erin is not big.
Unknown
inv-rconc
[@5: Erin is big.[CWA. Example of deepest failure = (rule6 <- rule8 <- rule1 <- rule7 <- rule3 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is blue.
Unknown
rconc
[@6: Erin is blue.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule8 <- rule1 <- rule7 <- rule3 <- FAIL)]]
("Erin" "is" "blue" "+")
Erin is not nice.
Unknown
inv-rconc
[@6: Erin is nice.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule6 <- rule8 <- rule2 <- rule3 <- FAIL)]]
("Erin" "is" "nice" "-")
Erin is cold.
Unknown
rconc
[@7: Erin is cold.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule5 <- rule6 <- rule8 <- rule2 <- rule3 <- FAIL)]]
("Erin" "is" "cold" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Erin is red.[(triple1)] Fiona is cold.[(triple2 OR ((triple3) -> rule1) OR ((((triple5) -> rule3)) -> rule2) OR ((((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7)) -> rule1))] Fiona is nice.[(triple3 OR ((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple2) -> rule8) ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4)) -> rule7) OR ((((triple5) -> rule3) ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4)) -> rule7))] Fiona is quiet.[(triple4)] Fiona is round.[(triple5)] Gary is big.[(triple6 OR ((triple7) -> rule6) OR ((((triple10) -> rule3)) -> rule6) OR ((((((triple8) -> rule1)) -> rule8)) -> rule6))] Gary is blue.[(triple7 OR ((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule8))] Gary is nice.[(triple8 OR ((triple7 ((triple6 triple7) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((triple6 triple7) -> rule4)) -> rule7) OR ((triple7 ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule7) OR ((triple7 ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((triple7) -> rule6) triple7) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((triple7 ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7) OR ((triple7 ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7) OR ((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7))] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Fiona is blue.[(((triple2) -> rule8) OR ((triple5) -> rule3) OR ((((triple3) -> rule1)) -> rule8))] Gary is cold.[(((triple7) -> rule2) OR ((triple8) -> rule1) OR ((((triple10) -> rule3)) -> rule2) OR ((((triple7 ((triple6 triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((triple6 triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((triple7) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((triple6 ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((triple7) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((triple7 ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4)) -> rule7)) -> rule1) OR ((((((triple10) -> rule3) ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4)) -> rule7)) -> rule1))] Gary is red.[(((triple6 triple7) -> rule4) OR ((triple6 ((triple10) -> rule3)) -> rule4) OR ((((triple7) -> rule6) triple7) -> rule4) OR ((((triple7) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((triple6 ((((triple8) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10) -> rule3)) -> rule6) triple7) -> rule4) OR ((((triple7) -> rule6) ((((triple8) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10) -> rule3)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((((triple10) -> rule3)) -> rule6) ((((triple8) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple8) -> rule1)) -> rule8)) -> rule6) triple7) -> rule4) OR ((((((((triple8) -> rule1)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule4) OR ((((((((triple8) -> rule1)) -> rule8)) -> rule6) ((((triple8) -> rule1)) -> rule8)) -> rule4))] @2: Fiona is big.[(((((triple2) -> rule8)) -> rule6) OR ((((triple5) -> rule3)) -> rule6) OR ((((((triple3) -> rule1)) -> rule8)) -> rule6))] @3: Fiona is red.[(((((((triple2) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((triple2) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5) -> rule3)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple2) -> rule8)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule6) ((((triple3) -> rule1)) -> rule8)) -> rule4))]
Erin is red.
("Erin" "is" "red" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
((triple3) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple5) -> (rule3 % int5)) ((((((triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((triple5) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2) -> (rule8 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple5) -> (rule3 % int4)) ((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
((triple7) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((((triple8) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple10) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple8
((triple7 ((triple6 triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple10) -> (rule3 % int3)) ((triple6 triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple7 ((triple6 ((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple7 ((((triple7) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple7 ((((triple7) -> (rule6 % int4)) ((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple10) -> (rule3 % int3)) ((triple6 ((triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple10) -> (rule3 % int4)) ((((triple7) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple10) -> (rule3 % int4)) ((((triple7) -> (rule6 % int3)) ((triple10) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple7 ((((((triple10) -> (rule3 % int4))) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple7 ((((((triple10) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple10) -> (rule3 % int4)) ((((((triple10) -> (rule3 % int4))) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple10) -> (rule3 % int4)) ((((((triple10) -> (rule3 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple2) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple5) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple8) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple7 ((triple6 triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule3 % int4)) ((triple6 triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((triple6 ((triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple7 ((((triple7) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((triple7 ((((triple7) -> (rule6 % int5)) ((triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
((((((triple10) -> (rule3 % int4)) ((triple6 ((triple10) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple10) -> (rule3 % int5)) ((((triple7) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple10) -> (rule3 % int5)) ((((triple7) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7 ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple7 ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple10) -> (rule3 % int5)) ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple10) -> (rule3 % int5)) ((((((triple10) -> (rule3 % int5))) -> (rule6 % int4)) ((triple10) -> (rule3 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is red.
("Gary" "is" "red" "+")
((triple6 triple7) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple6 ((triple10) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple7) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple10) -> (rule3 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((triple6 ((((triple8) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
((((((triple10) -> (rule3 % int3))) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple7) -> (rule6 % int4)) ((((triple8) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
((((((triple10) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10) -> (rule3 % int3))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple10) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple8) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple10) -> (rule3 % int3))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple2) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule8 % int4))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4