Anne is furry. Anne is red. Anne is young. Erin is furry. Erin is nice. Erin is young. Gary is blue. Gary is quiet. Gary is red. Gary is young. If someone is quiet then they are red. If someone is young then they are quiet. Quiet people are red. If someone is green then they are blue. Red people are furry. All blue, furry people are nice. All furry people are blue. Young people are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is quiet then they are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is young then they are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All blue, furry people are nice.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
All furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Young people are furry.
((("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple4 OR ((triple6) -> rule8) OR ((((((triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple6) -> rule2)) -> rule3)) -> rule5))]
("Erin" "is" "furry" "+")
triple4
((triple6) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Gary is not blue.
False
1
inv-proof
[(triple7 OR ((((triple10) -> rule8)) -> rule7) OR ((((triple9) -> rule5)) -> rule7) OR ((((((triple8) -> rule1)) -> rule5)) -> rule7) OR ((((((triple8) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7))]
("Gary" "is" "blue" "-")
triple7
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple9) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Erin is blue.
True
2
proof
[(((triple4) -> rule7) OR ((((triple6) -> rule8)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule7))]
("Erin" "is" "blue" "+")
((triple4) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Anne is not quiet.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "quiet" "-")
((triple3) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
True
4
proof
[(((((triple1) -> rule7) triple1) -> rule6) OR ((((triple1) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((triple1) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) triple1) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) triple1) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((triple1) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((triple1) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) triple1) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) triple1) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple1) -> (rule7 % int5)) ((((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((triple1) -> (rule7 % int5)) ((((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple2) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple2) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Gary is not nice.
False
4
inv-proof
[(((triple7 ((triple10) -> rule8)) -> rule6) OR ((triple7 ((triple9) -> rule5)) -> rule6) OR ((triple7 ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((triple7 ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((triple7 ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((triple7 ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6))]
("Gary" "is" "nice" "-")
((triple7 ((triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple7 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple7 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple7 ((((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule1 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule3 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple9) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule1 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple9) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule3 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((triple7 ((((((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((triple7 ((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple9) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple9) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is furry.[(triple1 OR ((triple2) -> rule5) OR ((triple3) -> rule8) OR ((((((triple3) -> rule2)) -> rule1)) -> rule5) OR ((((((triple3) -> rule2)) -> rule3)) -> rule5))] Anne is red.[(triple2 OR ((((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule2)) -> rule3))] Anne is young.[(triple3)] Erin is furry.[(triple4 OR ((triple6) -> rule8) OR ((((((triple6) -> rule2)) -> rule1)) -> rule5) OR ((((((triple6) -> rule2)) -> rule3)) -> rule5))] Erin is nice.[(triple5 OR ((((triple4) -> rule7) triple4) -> rule6) OR ((((triple4) -> rule7) ((triple6) -> rule8)) -> rule6) OR ((((((triple6) -> rule8)) -> rule7) triple4) -> rule6) OR ((((((triple6) -> rule8)) -> rule7) ((triple6) -> rule8)) -> rule6) OR ((((triple4) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((triple4) -> rule7) ((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((triple6) -> rule8)) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple6) -> rule8)) -> rule7) ((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule7) triple4) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule7) triple4) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple6) -> rule8)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple6) -> rule8)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Erin is young.[(triple6)] Gary is blue.[(triple7 OR ((((triple10) -> rule8)) -> rule7) OR ((((triple9) -> rule5)) -> rule7) OR ((((((triple8) -> rule1)) -> rule5)) -> rule7) OR ((((((triple8) -> rule3)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7))] Gary is quiet.[(triple8 OR ((triple10) -> rule2))] Gary is red.[(triple9 OR ((triple8) -> rule1) OR ((triple8) -> rule3) OR ((((triple10) -> rule2)) -> rule1) OR ((((triple10) -> rule2)) -> rule3))] Gary is young.[(triple10)] @1: Anne is blue.[(((triple1) -> rule7) OR ((((triple2) -> rule5)) -> rule7) OR ((((triple3) -> rule8)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7))] Anne is quiet.[(((triple3) -> rule2))] Erin is blue.[(((triple4) -> rule7) OR ((((triple6) -> rule8)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple6) -> rule2)) -> rule3)) -> rule5)) -> rule7))] Erin is quiet.[(((triple6) -> rule2))] Gary is furry.[(((triple10) -> rule8) OR ((triple9) -> rule5) OR ((((triple8) -> rule1)) -> rule5) OR ((((triple8) -> rule3)) -> rule5) OR ((((((triple10) -> rule2)) -> rule1)) -> rule5) OR ((((((triple10) -> rule2)) -> rule3)) -> rule5))] @2: Anne is nice.[(((((triple1) -> rule7) triple1) -> rule6) OR ((((triple1) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((triple1) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) triple1) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) triple1) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((triple1) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((triple1) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple3) -> rule8)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) triple1) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) triple1) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple3) -> rule8)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple3) -> rule2)) -> rule3)) -> rule5)) -> rule6))] Erin is red.[(((((triple6) -> rule2)) -> rule1) OR ((((triple6) -> rule2)) -> rule3))] Gary is nice.[(((triple7 ((triple10) -> rule8)) -> rule6) OR ((triple7 ((triple9) -> rule5)) -> rule6) OR ((triple7 ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((triple7 ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((triple7 ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((triple7 ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple10) -> rule8)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((triple9) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((triple8) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule6) OR ((((((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule7) ((((((triple10) -> rule2)) -> rule3)) -> rule5)) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple2) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple3) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
triple2
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((triple6) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple5
((((triple4) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple4) -> (rule7 % int3)) ((triple6) -> (rule8 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple6) -> (rule8 % int3))) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple6) -> (rule8 % int3))) -> (rule7 % int2)) ((triple6) -> (rule8 % int3))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4) -> (rule7 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((triple4) -> (rule7 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple6) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple6) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple6) -> (rule8 % int3))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple6) -> (rule8 % int3))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple6) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple9) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple10) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple8) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple8) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple4) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((((triple6) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple6) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple10) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple9) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple2) -> (rule5 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple1) -> (rule7 % int3)) ((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple2) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((triple1) -> (rule7 % int5)) ((((((triple3) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((triple1) -> (rule7 % int5)) ((((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple2) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple2) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((triple3) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple2) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple3) -> (rule8 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple3) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((triple7 ((triple10) -> (rule8 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple7 ((triple9) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((triple7 ((((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((triple7 ((((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule8 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple9) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule1 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple10) -> (rule8 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule3 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple9) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule1 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple9) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule3 % int2))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((triple7 ((((((triple10) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((triple7 ((((((triple10) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple10) -> (rule8 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple9) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple9) -> (rule5 % int5))) -> (rule7 % int4)) ((((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int5))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((triple8) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule7 % int3)) ((((((triple10) -> (rule2 % int2))) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is red.
("Gary" "is" "red" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple10) -> (rule8 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2)) ((((((triple10) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5