Anne is blue. Anne is furry. Anne is red. Anne is smart. Anne is white. Anne is young. Erin is furry. Erin is red. Erin is smart. Gary is blue. Gary is furry. Gary is red. Gary is round. Gary is smart. Gary is white. Gary is young. If Erin is furry then Erin is smart. If Gary is smart and Gary is young then Gary is white. Young, round people are red. If someone is red and smart then they are blue. White, smart people are young. If someone is blue and red then they are white. All smart, furry people are blue. If someone is red then they are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If Erin is furry then Erin is smart.
((("Erin" "is" "furry" "+")) -> ("Erin" "is" "smart" "+"))
If Gary is smart and Gary is young then Gary is white.
((("Gary" "is" "smart" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "white" "+"))
Young, round people are red.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and smart then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
White, smart people are young.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red then they are white.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
All smart, furry people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Gary is smart.
True
1
proof
[(triple14)]
("Gary" "is" "smart" "+")
triple14
Gary is not young.
False
1
inv-proof
[(triple16 OR ((triple15 triple14) -> rule5) OR ((((triple10 triple12) -> rule6) triple14) -> rule5) OR ((((((triple12 triple14) -> rule4) triple12) -> rule6) triple14) -> rule5) OR ((((((triple14 triple11) -> rule7) triple12) -> rule6) triple14) -> rule5) OR ((((((triple14 ((triple12) -> rule8)) -> rule7) triple12) -> rule6) triple14) -> rule5))]
("Gary" "is" "young" "-")
triple16
((triple15 triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple10 triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((triple12 triple14) -> (rule4 % int3)) triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple14 triple11) -> (rule7 % int3)) triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple14 ((triple12) -> (rule8 % int4))) -> (rule7 % int3)) triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Erin is blue.
True
3
proof
[(((triple8 triple9) -> rule4) OR ((triple9 triple7) -> rule7) OR ((triple8 ((triple7) -> rule1)) -> rule4) OR ((triple9 ((triple8) -> rule8)) -> rule7) OR ((((triple7) -> rule1) triple7) -> rule7) OR ((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) OR ((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) OR ((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) OR ((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7))]
("Erin" "is" "blue" "+")
((triple8 triple9) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple9 triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple9 ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple8 ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule1 % int2)) ((triple8) -> (rule8 % int3))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is not blue.
False
3
inv-proof
[(((triple8 triple9) -> rule4) OR ((triple9 triple7) -> rule7) OR ((triple8 ((triple7) -> rule1)) -> rule4) OR ((triple9 ((triple8) -> rule8)) -> rule7) OR ((((triple7) -> rule1) triple7) -> rule7) OR ((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) OR ((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) OR ((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) OR ((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7))]
("Erin" "is" "blue" "-")
((triple8 triple9) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple9 triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple9 ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple8 ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule1 % int2)) ((triple8) -> (rule8 % int3))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
True
5
proof
[(((((triple8 triple9) -> rule4) triple8) -> rule6) OR ((((triple9 triple7) -> rule7) triple8) -> rule6) OR ((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) OR ((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6))]
("Erin" "is" "white" "+")
((((triple8 triple9) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple9 triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple8 ((triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple7) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8 ((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8) -> (rule8 % int4))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is not white.
False
5
inv-proof
[(((((triple8 triple9) -> rule4) triple8) -> rule6) OR ((((triple9 triple7) -> rule7) triple8) -> rule6) OR ((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) OR ((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6))]
("Erin" "is" "white" "-")
((((triple8 triple9) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple9 triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple8 ((triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple7) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8 ((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8) -> (rule8 % int4))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is young.
True
7
proof
[(((((((triple8 triple9) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5))]
("Erin" "is" "young" "+")
((((((triple8 triple9) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple9 triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple8 triple9) -> (rule4 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9 triple7) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple8 triple9) -> (rule4 % int5)) triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9 triple7) -> (rule7 % int5)) triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple8 ((triple7) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple8 ((triple7) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9 ((triple8) -> (rule8 % int5))) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8 ((triple7) -> (rule1 % int5))) -> (rule4 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple9 ((triple8) -> (rule8 % int5))) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple7) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int4))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is not young.
False
7
inv-proof
[(((((((triple8 triple9) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5))]
("Erin" "is" "young" "-")
((((((triple8 triple9) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple9 triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple8 triple9) -> (rule4 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9 triple7) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple8 triple9) -> (rule4 % int5)) triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9 triple7) -> (rule7 % int5)) triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple8 ((triple7) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple8 ((triple7) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9 ((triple8) -> (rule8 % int5))) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8 ((triple7) -> (rule1 % int5))) -> (rule4 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple9 ((triple8) -> (rule8 % int5))) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple7) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int4))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule4) OR ((triple4 triple2) -> rule7) OR ((triple4 ((triple3) -> rule8)) -> rule7))] Anne is furry.[(triple2 OR ((triple3) -> rule8))] Anne is red.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple1 triple3) -> rule6) OR ((((triple3 triple4) -> rule4) triple3) -> rule6) OR ((((triple4 triple2) -> rule7) triple3) -> rule6) OR ((((triple4 ((triple3) -> rule8)) -> rule7) triple3) -> rule6))] Anne is young.[(triple6 OR ((triple5 triple4) -> rule5) OR ((((triple1 triple3) -> rule6) triple4) -> rule5) OR ((((((triple3 triple4) -> rule4) triple3) -> rule6) triple4) -> rule5) OR ((((((triple4 triple2) -> rule7) triple3) -> rule6) triple4) -> rule5) OR ((((((triple4 ((triple3) -> rule8)) -> rule7) triple3) -> rule6) triple4) -> rule5))] Erin is furry.[(triple7 OR ((triple8) -> rule8))] Erin is red.[(triple8)] Erin is smart.[(triple9 OR ((triple7) -> rule1) OR ((((triple8) -> rule8)) -> rule1))] Gary is blue.[(triple10 OR ((triple12 triple14) -> rule4) OR ((triple14 triple11) -> rule7) OR ((triple14 ((triple12) -> rule8)) -> rule7) OR ((((triple16 triple13) -> rule3) triple14) -> rule4) OR ((triple14 ((((triple16 triple13) -> rule3)) -> rule8)) -> rule7) OR ((((((triple15 triple14) -> rule5) triple13) -> rule3) triple14) -> rule4) OR ((triple14 ((((((triple15 triple14) -> rule5) triple13) -> rule3)) -> rule8)) -> rule7))] Gary is furry.[(triple11 OR ((triple12) -> rule8) OR ((((triple16 triple13) -> rule3)) -> rule8) OR ((((((triple15 triple14) -> rule5) triple13) -> rule3)) -> rule8))] Gary is red.[(triple12 OR ((triple16 triple13) -> rule3) OR ((((triple15 triple14) -> rule5) triple13) -> rule3))] Gary is round.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15 OR ((triple10 triple12) -> rule6) OR ((triple14 triple16) -> rule2) OR ((triple10 ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple12 triple14) -> rule4) triple12) -> rule6) OR ((((triple14 triple11) -> rule7) triple12) -> rule6) OR ((((triple12 triple14) -> rule4) ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple14 triple11) -> rule7) ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple14 ((triple12) -> rule8)) -> rule7) triple12) -> rule6) OR ((((((triple16 triple13) -> rule3) triple14) -> rule4) triple12) -> rule6) OR ((((triple14 ((triple12) -> rule8)) -> rule7) ((triple16 triple13) -> rule3)) -> rule6) OR ((((((triple16 triple13) -> rule3) triple14) -> rule4) ((triple16 triple13) -> rule3)) -> rule6) OR ((((triple14 ((((triple16 triple13) -> rule3)) -> rule8)) -> rule7) triple12) -> rule6) OR ((((triple14 ((((triple16 triple13) -> rule3)) -> rule8)) -> rule7) ((triple16 triple13) -> rule3)) -> rule6))] Gary is young.[(triple16 OR ((triple15 triple14) -> rule5) OR ((((triple10 triple12) -> rule6) triple14) -> rule5) OR ((((((triple12 triple14) -> rule4) triple12) -> rule6) triple14) -> rule5) OR ((((((triple14 triple11) -> rule7) triple12) -> rule6) triple14) -> rule5) OR ((((((triple14 ((triple12) -> rule8)) -> rule7) triple12) -> rule6) triple14) -> rule5))] @1: Erin is blue.[(((triple8 triple9) -> rule4) OR ((triple9 triple7) -> rule7) OR ((triple8 ((triple7) -> rule1)) -> rule4) OR ((triple9 ((triple8) -> rule8)) -> rule7) OR ((((triple7) -> rule1) triple7) -> rule7) OR ((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) OR ((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) OR ((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) OR ((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7))] @2: Erin is white.[(((((triple8 triple9) -> rule4) triple8) -> rule6) OR ((((triple9 triple7) -> rule7) triple8) -> rule6) OR ((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) OR ((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) OR ((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) OR ((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6))] @3: Erin is young.[(((((((triple8 triple9) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple8 triple9) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((triple7) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple9 ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) triple9) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) triple9) -> rule5) OR ((((((triple8 ((((triple8) -> rule8)) -> rule1)) -> rule4) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) triple7) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule8)) -> rule1) ((triple8) -> rule8)) -> rule7) triple8) -> rule6) ((((triple8) -> rule8)) -> rule1)) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3 triple4) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 triple2) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple3) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
((triple1 triple3) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple3 triple4) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 triple2) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 ((triple3) -> (rule8 % int3))) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple6
((triple5 triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((triple1 triple3) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((((triple3 triple4) -> (rule4 % int3)) triple3) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 triple2) -> (rule7 % int3)) triple3) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4 ((triple3) -> (rule8 % int4))) -> (rule7 % int3)) triple3) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple7
((triple8) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
((triple7) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((((triple8) -> (rule8 % int2))) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple10
((triple12 triple14) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple14 triple11) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple14 ((triple12) -> (rule8 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple16 triple13) -> (rule3 % int2)) triple14) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((triple14 ((((triple16 triple13) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((((triple15 triple14) -> (rule5 % int3)) triple13) -> (rule3 % int2)) triple14) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple14 ((((((triple15 triple14) -> (rule5 % int4)) triple13) -> (rule3 % int3))) -> (rule8 % 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 young.
("Gary" "is" "young" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple11
((triple12) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple16 triple13) -> (rule3 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((((triple15 triple14) -> (rule5 % int3)) triple13) -> (rule3 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple12
((triple16 triple13) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple15 triple14) -> (rule5 % int2)) triple13) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
((triple10 triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple14 triple16) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple10 ((triple16 triple13) -> (rule3 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
((((triple12 triple14) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple14 triple11) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple12 triple14) -> (rule4 % int3)) ((triple16 triple13) -> (rule3 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple14 triple11) -> (rule7 % int3)) ((triple16 triple13) -> (rule3 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple14 ((triple12) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple16 triple13) -> (rule3 % int3)) triple14) -> (rule4 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple14 ((triple12) -> (rule8 % int4))) -> (rule7 % int3)) ((triple16 triple13) -> (rule3 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple16 triple13) -> (rule3 % int3)) triple14) -> (rule4 % int2)) ((triple16 triple13) -> (rule3 % int3))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
((((triple14 ((((triple16 triple13) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) triple12) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
((((triple14 ((((triple16 triple13) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule7 % int2)) ((triple16 triple13) -> (rule3 % int4))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
triple16
((triple15 triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple10 triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((triple12 triple14) -> (rule4 % int3)) triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple14 triple11) -> (rule7 % int3)) triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((((triple14 ((triple12) -> (rule8 % int4))) -> (rule7 % int3)) triple12) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
((triple8 triple9) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple9 triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple8 ((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((triple9 ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple8) -> (rule8 % int2))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple8 ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule8 % int3))) -> (rule1 % int2)) ((triple8) -> (rule8 % int3))) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((((triple8 triple9) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple9 triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((triple8 ((triple7) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple9 ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple7) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((((triple7) -> (rule1 % int4)) ((triple8) -> (rule8 % int3))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple8 ((((triple8) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8) -> (rule8 % int4))) -> (rule7 % int2)) triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((((((triple8 triple9) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple9 triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((((triple8 triple9) -> (rule4 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple9 triple7) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
((((((triple8 triple9) -> (rule4 % int5)) triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple9 triple7) -> (rule7 % int5)) triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((triple8 ((triple7) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9 ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple8 ((triple7) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((triple9 ((triple8) -> (rule8 % int5))) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((triple7) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8 ((triple7) -> (rule1 % int5))) -> (rule4 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple9 ((triple8) -> (rule8 % int5))) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple7) -> (rule1 % int5)) triple7) -> (rule7 % int4)) triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((((triple7) -> (rule1 % int5)) ((triple8) -> (rule8 % int4))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int4))) -> (rule1 % int5))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) triple9) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((triple7) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple8) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8) -> (rule8 % int5))) -> (rule7 % int3)) triple8) -> (rule6 % int2)) ((((triple8) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5