Dave is green. Dave is smart. Erin is big. Erin is blue. Erin is nice. Erin is red. Fiona is big. Fiona is nice. Gary is red. Gary is round. If someone is big then they are round. All red, nice people are big. All smart, green people are blue. All red people are green. If someone is nice then they are round. Red, blue people are big. If someone is round then they are red. Green, red people are smart. Green people are round.
Dave is green.
("Dave" "is" "green" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All red, nice people are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
All smart, green people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Red, blue people are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Green, red people are smart.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Erin is nice.
True
1
proof
[(triple5)]
("Erin" "is" "nice" "+")
triple5
Erin is not nice.
False
1
inv-proof
[(triple5)]
("Erin" "is" "nice" "-")
triple5
Erin is green.
True
2
proof
[(((triple6) -> rule4) OR ((((((triple3) -> rule1)) -> rule7)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7)) -> rule4))]
("Erin" "is" "green" "+")
((triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Gary is not green.
False
2
inv-proof
[(((triple9) -> rule4) OR ((((triple10) -> rule7)) -> rule4))]
("Gary" "is" "green" "-")
((triple9) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Dave is red.
True
3
proof
[(((((triple1) -> rule9)) -> rule7))]
("Dave" "is" "red" "+")
((((triple1) -> (rule9 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule7) OR ((((triple8) -> rule5)) -> rule7))]
("Fiona" "is" "red" "-")
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is blue.
True
7
proof
[(((((((triple9) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3) OR ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3))]
("Gary" "is" "blue" "+")
((((((triple9) -> (rule4 % int3)) triple9) -> (rule8 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2)) ((triple9) -> (rule4 % int4))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple10) -> (rule7 % int3))) -> (rule4 % int4))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) triple9) -> (rule8 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) triple9) -> (rule8 % int2)) ((((triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) ((triple10) -> (rule7 % int4))) -> (rule8 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) ((triple10) -> (rule7 % int4))) -> (rule8 % int2)) ((((triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Fiona is not green.
False
4
inv-proof
[(((((((triple7) -> rule1)) -> rule7)) -> rule4) OR ((((((triple8) -> rule5)) -> rule7)) -> rule4))]
("Fiona" "is" "green" "-")
((((((triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is big.
True
9
proof
[(((triple9 ((((((triple9) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((triple9) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6))]
("Gary" "is" "big" "+")
((triple9 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple9 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule8 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((triple9 ((((((triple9) -> (rule4 % int5)) ((triple10) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((triple9) -> (rule4 % int5)) ((triple10) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int4))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Fiona is not smart.
False
8
inv-proof
[(((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8))]
("Fiona" "is" "smart" "-")
((((((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is blue.
True
13
proof
[(((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3))]
("Fiona" "is" "blue" "+")
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is not blue.
False
13
inv-proof
[(((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3))]
("Fiona" "is" "blue" "-")
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Dave is green.[(triple1)] Dave is smart.[(triple2 OR ((triple1 ((((triple1) -> rule9)) -> rule7)) -> rule8))] Erin is big.[(triple3 OR ((triple6 triple4) -> rule6) OR ((triple6 triple5) -> rule2) OR ((((((triple5) -> rule5)) -> rule7) triple4) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) triple5) -> rule2) OR ((triple6 ((((((triple6) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((triple6) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((((triple6) -> rule4) triple6) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((triple6) -> rule4) triple6) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((triple6 ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5)) -> rule7) ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6))] Erin is blue.[(triple4 OR ((((((triple6) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) triple6) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) triple6) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) triple6) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) triple6) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((triple6) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple3) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) ((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule3))] Erin is nice.[(triple5)] Erin is red.[(triple6 OR ((((triple3) -> rule1)) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] Fiona is big.[(triple7 OR ((((((triple8) -> rule5)) -> rule7) triple8) -> rule2) OR ((((((triple8) -> rule5)) -> rule7) ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3)) -> rule6))] Fiona is nice.[(triple8)] Gary is red.[(triple9 OR ((triple10) -> rule7))] Gary is round.[(triple10 OR ((((triple9) -> rule4)) -> rule9) OR ((((triple9 ((((((triple9) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6)) -> rule1))] @1: Dave is blue.[(((triple2 triple1) -> rule3) OR ((((triple1 ((((triple1) -> rule9)) -> rule7)) -> rule8) triple1) -> rule3))] Dave is round.[(((triple1) -> rule9))] Erin is green.[(((triple6) -> rule4) OR ((((((triple3) -> rule1)) -> rule7)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7)) -> rule4))] Erin is round.[(((triple3) -> rule1) OR ((triple5) -> rule5) OR ((((triple6) -> rule4)) -> rule9) OR ((((triple6 triple4) -> rule6)) -> rule1) OR ((((triple6 triple5) -> rule2)) -> rule1) OR ((((triple6 ((((((triple6) -> rule4) triple6) -> rule8) ((triple6) -> rule4)) -> rule3)) -> rule6)) -> rule1))] Fiona is round.[(((triple7) -> rule1) OR ((triple8) -> rule5))] Gary is green.[(((triple9) -> rule4) OR ((((triple10) -> rule7)) -> rule4))] @2: Dave is red.[(((((triple1) -> rule9)) -> rule7))] Erin is smart.[(((((triple6) -> rule4) triple6) -> rule8) OR ((((triple6) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((((triple6) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule7)) -> rule4) triple6) -> rule8) OR ((((((((triple5) -> rule5)) -> rule7)) -> rule4) triple6) -> rule8) OR ((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple3) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple5) -> rule5)) -> rule7)) -> rule4) ((((triple5) -> rule5)) -> rule7)) -> rule8))] Fiona is red.[(((((triple7) -> rule1)) -> rule7) OR ((((triple8) -> rule5)) -> rule7))] Gary is smart.[(((((triple9) -> rule4) triple9) -> rule8) OR ((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) OR ((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) OR ((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8))] @3: Dave is big.[(((((((triple1) -> rule9)) -> rule7) ((triple2 triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule9)) -> rule7) ((((triple1 ((((triple1) -> rule9)) -> rule7)) -> rule8) triple1) -> rule3)) -> rule6))] Fiona is green.[(((((((triple7) -> rule1)) -> rule7)) -> rule4) OR ((((((triple8) -> rule5)) -> rule7)) -> rule4))] Gary is blue.[(((((((triple9) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple9) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3) OR ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3))] @4: Fiona is smart.[(((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8))] Gary is big.[(((triple9 ((((((triple9) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((triple9) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((triple9) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((triple9 ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) triple9) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((triple9) -> rule4)) -> rule3)) -> rule6) OR ((((triple10) -> rule7) ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule8) ((((triple10) -> rule7)) -> rule4)) -> rule3)) -> rule6))] @5: Fiona is blue.[(((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple7) -> rule1)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple7) -> rule1)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple8) -> rule5)) -> rule7)) -> rule4) ((((triple8) -> rule5)) -> rule7)) -> rule8) ((((((triple8) -> rule5)) -> rule7)) -> rule4)) -> rule3))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
((triple1 ((((triple1) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
triple3
((triple6 triple4) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple6 triple5) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2)) triple5) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((triple6 ((((((triple6) -> (rule4 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((triple6) -> (rule4 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((triple6 ((((((triple6) -> (rule4 % int6)) triple6) -> (rule8 % int5)) ((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((triple6 ((((((triple6) -> (rule4 % int6)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((triple6) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((triple6 ((((((triple6) -> (rule4 % int6)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((triple6) -> (rule4 % int4)) triple6) -> (rule8 % int3)) ((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((triple6) -> (rule4 % int4)) ((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((triple6) -> (rule4 % int4)) ((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((triple6 ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((triple6 ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple6) -> (rule8 % int3)) ((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((triple6 ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple6) -> (rule8 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((triple6 ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) triple6) -> (rule8 % int3)) ((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int3)) ((triple6) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
((((((triple5) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple5) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
int5
Erin is round.
("Erin" "is" "round" "+")
int6
Erin is blue.
("Erin" "is" "blue" "+")
triple4
((((((triple6) -> (rule4 % int3)) triple6) -> (rule8 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple6) -> (rule4 % int5)) triple6) -> (rule8 % int4)) ((((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple6) -> (rule4 % int5)) triple6) -> (rule8 % int4)) ((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple6) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((triple6) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple6) -> (rule4 % int5)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int5))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple6) -> (rule8 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple6) -> (rule8 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple6) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple6) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple6) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple6) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((triple6) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple3) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((((((triple8) -> (rule5 % int3))) -> (rule7 % int2)) triple8) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple8) -> (rule5 % int6))) -> (rule7 % int5)) ((((((((((triple8) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple8) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule8 % int3)) ((((((triple8) -> (rule5 % int6))) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple10) -> (rule7 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
((((triple9) -> (rule4 % int2))) -> (rule9 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule8 % int4)) ((triple9) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Dave is blue.
("Dave" "is" "blue" "+")
((triple2 triple1) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple1 ((((triple1) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2)) triple1) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
((triple1) -> (rule9 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple5) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule9 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple6 triple4) -> (rule6 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple6 triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple6 ((((((triple6) -> (rule4 % int5)) triple6) -> (rule8 % int4)) ((triple6) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple8) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple9) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple1) -> (rule9 % int2))) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple6) -> (rule4 % int2)) triple6) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple6) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple6) -> (rule4 % int4)) ((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple6) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple6) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple9) -> (rule4 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((triple9) -> (rule4 % int3)) ((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule4 % int2)) triple9) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule7 % int3))) -> (rule4 % int2)) ((triple10) -> (rule7 % int3))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
((((((triple1) -> (rule9 % int4))) -> (rule7 % int3)) ((triple2 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
((((((triple1) -> (rule9 % int5))) -> (rule7 % int4)) ((((triple1 ((((triple1) -> (rule9 % int5))) -> (rule7 % int4))) -> (rule8 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple7) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple9) -> (rule4 % int3)) triple9) -> (rule8 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int2))) -> (rule4 % int4))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2)) ((triple9) -> (rule4 % int4))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int3))) -> (rule8 % int2)) ((((triple10) -> (rule7 % int3))) -> (rule4 % int4))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) triple9) -> (rule8 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) triple9) -> (rule8 % int2)) ((((triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) ((triple10) -> (rule7 % int4))) -> (rule8 % int2)) ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3)) ((triple10) -> (rule7 % int4))) -> (rule8 % int2)) ((((triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple7) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((((triple8) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
((triple9 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((triple9 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule8 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((triple9 ((((((triple9) -> (rule4 % int5)) ((triple10) -> (rule7 % int4))) -> (rule8 % int3)) ((triple9) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((triple9) -> (rule4 % int5)) ((triple10) -> (rule7 % int4))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int4))) -> (rule4 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((triple9) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((triple9 ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) triple9) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((triple9) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((triple10) -> (rule7 % int5)) ((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4)) ((triple10) -> (rule7 % int5))) -> (rule8 % int3)) ((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple7) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule8 % int2)) ((((((triple8) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5