Bob is cold. Bob is green. Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is white. Erin is furry. Erin is green. Erin is quiet. Erin is white. Gary is blue. Gary is cold. Gary is quiet. Green things are furry. All quiet, furry things are blue. All big things are furry. If Bob is white and Bob is quiet then Bob is big. If something is big and white then it is quiet. If something is furry then it is white. If something is blue then it is green. All quiet things are white. Furry, white things are big.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
All quiet, furry things are blue.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
All big things are furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If Bob is white and Bob is quiet then Bob is big.
((("Bob" "is" "white" "+") ("Bob" "is" "quiet" "+")) -> ("Bob" "is" "big" "+"))
If something is big and white then it is quiet.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is furry then it is white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If something is blue then it is green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All quiet things are white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Furry, white things are big.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Gary is quiet.
True
1
proof
[(triple14 OR ((((((((triple12) -> rule7)) -> rule1) ((((((triple12) -> rule7)) -> rule1)) -> rule6)) -> rule9) ((((((triple12) -> rule7)) -> rule1)) -> rule6)) -> rule5))]
("Gary" "is" "quiet" "+")
triple14
((((((((triple12) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((((triple12) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Charlie is not white.
False
1
inv-proof
[(triple7 OR ((triple6) -> rule8) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple5) -> rule1)) -> rule6))]
("Charlie" "is" "white" "-")
triple7
((triple6) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Bob is furry.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Erin is not big.
False
3
inv-proof
[(((triple8 triple11) -> rule9) OR ((triple8 ((triple10) -> rule8)) -> rule9) OR ((triple8 ((triple8) -> rule6)) -> rule9) OR ((((triple9) -> rule1) triple11) -> rule9) OR ((((triple9) -> rule1) ((triple10) -> rule8)) -> rule9) OR ((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) OR ((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9))]
("Erin" "is" "big" "-")
((triple8 triple11) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple8 ((triple10) -> (rule8 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple8 ((triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple9) -> (rule1 % int2)) triple11) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple10) -> (rule8 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple8 ((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Charlie is blue.
True
4
proof
[(((triple6 ((triple3) -> rule3)) -> rule2) OR ((triple6 ((triple5) -> rule1)) -> rule2) OR ((((triple3 triple7) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((triple3 triple7) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((triple3 ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) triple7) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) triple7) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) triple7) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) triple7) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2))]
("Charlie" "is" "blue" "+")
((triple6 ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple6 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple3 triple7) -> (rule5 % int3)) ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 triple7) -> (rule5 % int3)) ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 ((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple5) -> (rule1 % int4)) triple7) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple3) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple5) -> (rule1 % int4)) triple7) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple5) -> (rule1 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Bob is not white.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule6))]
("Bob" "is" "white" "-")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Gary is big.
True
6
proof
[(((((((triple12) -> rule7)) -> rule1) ((triple14) -> rule8)) -> rule9) OR ((((((triple12) -> rule7)) -> rule1) ((((((triple12) -> rule7)) -> rule1)) -> rule6)) -> rule9))]
("Gary" "is" "big" "+")
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14) -> (rule8 % int2))) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is not big.
False
6
inv-proof
[(((((((triple12) -> rule7)) -> rule1) ((triple14) -> rule8)) -> rule9) OR ((((((triple12) -> rule7)) -> rule1) ((((((triple12) -> rule7)) -> rule1)) -> rule6)) -> rule9))]
("Gary" "is" "big" "-")
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14) -> (rule8 % int2))) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Bob is quiet.
True
10
proof
[(((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule9) ((((triple2) -> rule1)) -> rule6)) -> rule5))]
("Bob" "is" "quiet" "+")
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is not quiet.
False
10
inv-proof
[(((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule9) ((((triple2) -> rule1)) -> rule6)) -> rule5))]
("Bob" "is" "quiet" "-")
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
True
13
proof
[(((((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule9) ((((triple2) -> rule1)) -> rule6)) -> rule5) ((triple2) -> rule1)) -> rule2))]
("Bob" "is" "blue" "+")
((((((((triple2) -> (rule1 % int5)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple2) -> (rule1 % int5))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is not blue.
False
13
inv-proof
[(((((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule9) ((((triple2) -> rule1)) -> rule6)) -> rule5) ((triple2) -> rule1)) -> rule2))]
("Bob" "is" "blue" "-")
((((((((triple2) -> (rule1 % int5)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple2) -> (rule1 % int5))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
@0: Bob is cold.[(triple1)] Bob is green.[(triple2)] Charlie is big.[(triple3 OR ((((triple5) -> rule1) triple7) -> rule9) OR ((((triple5) -> rule1) ((triple6) -> rule8)) -> rule9) OR ((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9))] Charlie is cold.[(triple4)] Charlie is green.[(triple5 OR ((((triple6 ((triple3) -> rule3)) -> rule2)) -> rule7) OR ((((((triple3 triple7) -> rule5) ((triple3) -> rule3)) -> rule2)) -> rule7) OR ((((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2)) -> rule7))] Charlie is quiet.[(triple6 OR ((triple3 triple7) -> rule5) OR ((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((triple3 ((((triple5) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) triple7) -> rule9) triple7) -> rule5) OR ((((((triple5) -> rule1) triple7) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) triple7) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) triple7) -> rule5) OR ((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5))] Charlie is white.[(triple7 OR ((triple6) -> rule8) OR ((((triple3) -> rule3)) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Erin is furry.[(triple8 OR ((triple9) -> rule1))] Erin is green.[(triple9 OR ((((triple10 triple8) -> rule2)) -> rule7) OR ((((((((triple8 triple11) -> rule9) triple11) -> rule5) triple8) -> rule2)) -> rule7) OR ((((((((triple8 triple11) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2)) -> rule7) OR ((((((((triple8 ((triple8) -> rule6)) -> rule9) triple11) -> rule5) triple8) -> rule2)) -> rule7) OR ((((((((triple8 ((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2)) -> rule7))] Erin is quiet.[(triple10 OR ((((triple8 triple11) -> rule9) triple11) -> rule5) OR ((((triple8 triple11) -> rule9) ((triple8) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule6)) -> rule9) triple11) -> rule5) OR ((((((triple9) -> rule1) triple11) -> rule9) triple11) -> rule5) OR ((((triple8 triple11) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) OR ((((triple8 ((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) triple11) -> rule9) ((triple8) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) triple11) -> rule5) OR ((((triple8 ((triple8) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) triple11) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) OR ((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) triple11) -> rule5) OR ((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) triple11) -> rule5) OR ((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) OR ((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5))] Erin is white.[(triple11 OR ((triple10) -> rule8) OR ((triple8) -> rule6) OR ((((triple9) -> rule1)) -> rule6))] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is quiet.[(triple14 OR ((((((((triple12) -> rule7)) -> rule1) ((((((triple12) -> rule7)) -> rule1)) -> rule6)) -> rule9) ((((((triple12) -> rule7)) -> rule1)) -> rule6)) -> rule5))] @1: Bob is furry.[(((triple2) -> rule1))] Charlie is furry.[(((triple3) -> rule3) OR ((triple5) -> rule1))] Erin is big.[(((triple8 triple11) -> rule9) OR ((triple8 ((triple10) -> rule8)) -> rule9) OR ((triple8 ((triple8) -> rule6)) -> rule9) OR ((((triple9) -> rule1) triple11) -> rule9) OR ((((triple9) -> rule1) ((triple10) -> rule8)) -> rule9) OR ((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) OR ((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) OR ((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9))] Erin is blue.[(((triple10 triple8) -> rule2) OR ((triple10 ((triple9) -> rule1)) -> rule2) OR ((((((triple8 triple11) -> rule9) triple11) -> rule5) triple8) -> rule2) OR ((((((triple8 triple11) -> rule9) triple11) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 triple11) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((triple8 triple11) -> rule9) ((triple8) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 ((triple8) -> rule6)) -> rule9) triple11) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) triple11) -> rule9) triple11) -> rule5) triple8) -> rule2) OR ((((((triple8 triple11) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((triple8 ((triple8) -> rule6)) -> rule9) triple11) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 ((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) triple11) -> rule9) triple11) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) triple11) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) triple11) -> rule5) triple8) -> rule2) OR ((((((triple8 triple11) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 ((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 ((triple8) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) triple11) -> rule9) ((triple8) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) triple11) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) triple11) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((triple8 ((triple8) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) triple11) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) ((triple8) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) triple11) -> rule5) triple8) -> rule2) OR ((((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) triple11) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) triple11) -> rule5) triple8) -> rule2) OR ((((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) triple11) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((triple8 ((((triple9) -> rule1)) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) ((triple8) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2) OR ((((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) triple8) -> rule2) OR ((((((((triple9) -> rule1) ((((triple9) -> rule1)) -> rule6)) -> rule9) ((((triple9) -> rule1)) -> rule6)) -> rule5) ((triple9) -> rule1)) -> rule2))] Gary is green.[(((triple12) -> rule7))] Gary is white.[(((triple14) -> rule8) OR ((((((triple12) -> rule7)) -> rule1)) -> rule6))] @2: Bob is white.[(((((triple2) -> rule1)) -> rule6))] Charlie is blue.[(((triple6 ((triple3) -> rule3)) -> rule2) OR ((triple6 ((triple5) -> rule1)) -> rule2) OR ((((triple3 triple7) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((triple3 triple7) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((triple3 ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) triple7) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) triple7) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) triple7) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) triple7) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) triple7) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple3) -> rule3)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple3) -> rule3)) -> rule2) OR ((((((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule6)) -> rule9) ((((triple5) -> rule1)) -> rule6)) -> rule5) ((triple5) -> rule1)) -> rule2))] Gary is furry.[(((((triple12) -> rule7)) -> rule1))] @3: Bob is big.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule9))] Gary is big.[(((((((triple12) -> rule7)) -> rule1) ((triple14) -> rule8)) -> rule9) OR ((((((triple12) -> rule7)) -> rule1) ((((((triple12) -> rule7)) -> rule1)) -> rule6)) -> rule9))] @4: Bob is quiet.[(((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule9) ((((triple2) -> rule1)) -> rule6)) -> rule5))] @5: Bob is blue.[(((((((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule6)) -> rule9) ((((triple2) -> rule1)) -> rule6)) -> rule5) ((triple2) -> rule1)) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
((((triple5) -> (rule1 % int2)) triple7) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple5) -> (rule1 % int3)) ((triple6) -> (rule8 % int2))) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple5) -> (rule1 % int3)) ((((triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
((((triple6 ((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple3 triple7) -> (rule5 % int4)) ((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((triple3 ((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) ((triple3) -> (rule3 % int5))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
((triple3 triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple3 ((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple3 ((((triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5) -> (rule1 % int3)) triple7) -> (rule9 % int2)) triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple5) -> (rule1 % int4)) triple7) -> (rule9 % int3)) ((((triple3) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5) -> (rule1 % int4)) triple7) -> (rule9 % int3)) ((((triple5) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) triple7) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple5) -> (rule1 % int4)) ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple7
((triple6) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple8
((triple9) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple9
((((triple10 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((((triple8 triple11) -> (rule9 % int4)) triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple8 triple11) -> (rule9 % int5)) ((triple8) -> (rule6 % int4))) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule9 % int4)) triple11) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule9 % int4)) ((triple8) -> (rule6 % int5))) -> (rule5 % int3)) triple8) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
((((triple8 triple11) -> (rule9 % int2)) triple11) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple8 triple11) -> (rule9 % int3)) ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule9 % int2)) triple11) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple9) -> (rule1 % int3)) triple11) -> (rule9 % int2)) triple11) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple8 triple11) -> (rule9 % int4)) ((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple8 ((triple8) -> (rule6 % int3))) -> (rule9 % int2)) ((triple8) -> (rule6 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple9) -> (rule1 % int4)) triple11) -> (rule9 % int3)) ((triple8) -> (rule6 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((triple8) -> (rule6 % int3))) -> (rule9 % int2)) triple11) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple8 ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int2))) -> (rule6 % int4))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple9) -> (rule1 % int4)) triple11) -> (rule9 % int3)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((triple8) -> (rule6 % int3))) -> (rule9 % int2)) ((triple8) -> (rule6 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((triple8) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple8 ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) triple11) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple8 ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((triple8) -> (rule6 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) triple11) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple8 ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((triple8) -> (rule6 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9) -> (rule1 % int4)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple11
((triple10) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple8) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
((((((((triple12) -> (rule7 % int5))) -> (rule1 % int4)) ((((((triple12) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((((triple12) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple5) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple8 triple11) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple8 ((triple10) -> (rule8 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple8 ((triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple9) -> (rule1 % int2)) triple11) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple10) -> (rule8 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple9) -> (rule1 % int3)) ((triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple8 ((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple9) -> (rule1 % int3)) ((((triple9) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((triple10 triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple10 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((((triple8 triple11) -> (rule9 % int3)) triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple8 triple11) -> (rule9 % int4)) triple11) -> (rule5 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple8 triple11) -> (rule9 % int4)) ((triple8) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple8 triple11) -> (rule9 % int5)) ((triple8) -> (rule6 % int4))) -> (rule5 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple8 ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple9) -> (rule1 % int4)) triple11) -> (rule9 % int3)) triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple8 triple11) -> (rule9 % int5)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule9 % int4)) triple11) -> (rule5 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple8 ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((((triple9) -> (rule1 % int4)) triple11) -> (rule9 % int3)) triple11) -> (rule5 % int2)) ((triple9) -> (rule1 % int4))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple9) -> (rule1 % int5)) triple11) -> (rule9 % int4)) ((triple8) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 triple11) -> (rule9 % int5)) ((((triple9) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple9) -> (rule1 % int4))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule9 % int4)) ((triple8) -> (rule6 % int5))) -> (rule5 % int3)) ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule9 % int4)) ((((triple9) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((triple9) -> (rule1 % int5)) triple11) -> (rule9 % int4)) ((triple8) -> (rule6 % int3))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) triple11) -> (rule9 % int4)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) triple11) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((triple8) -> (rule6 % int5))) -> (rule9 % int4)) ((((triple9) -> (rule1 % int3))) -> (rule6 % int5))) -> (rule5 % int2)) ((triple9) -> (rule1 % int3))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((((triple9) -> (rule1 % int5)) triple11) -> (rule9 % int4)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((triple8) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple11) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple11) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple11) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple8 ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8) -> (rule6 % int4))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple9) -> (rule1 % int5)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple9) -> (rule1 % int5))) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
((triple12) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple14) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((((triple12) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((triple6 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple3 triple7) -> (rule5 % int3)) ((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 triple7) -> (rule5 % int3)) ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple3 ((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((((triple3) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple3 ((((triple5) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple5) -> (rule1 % int4)) triple7) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple3) -> (rule3 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple5) -> (rule1 % int4)) triple7) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple5) -> (rule1 % int4))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) triple7) -> (rule9 % int4)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int3))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple3) -> (rule3 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((((triple5) -> (rule1 % int5)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple5) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple5) -> (rule1 % int5))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
((((triple12) -> (rule7 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple2) -> (rule1 % int3)) ((((triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((triple14) -> (rule8 % int2))) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple12) -> (rule7 % int4))) -> (rule1 % int3)) ((((((triple12) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
((((((triple2) -> (rule1 % int4)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule9 % int2)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((((((((triple2) -> (rule1 % int5)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple2) -> (rule1 % int5))) -> (rule6 % int4))) -> (rule5 % int2)) ((triple2) -> (rule1 % int5))) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5