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