Bob is white. Dave is cold. Dave is red. Erin is big. Erin is cold. Erin is red. Erin is rough. Erin is round. Harry is red. Harry is rough. All big people are red. All red people are big. If someone is furry and big then they are rough. If someone is big then they are furry. If someone is rough and furry then they are white. If Harry is red and Harry is big then Harry is round. If someone is white then they are round. All cold people are big.
Bob is white.
("Bob" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
All red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is furry and big then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough and furry then they are white.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If Harry is red and Harry is big then Harry is round.
((("Harry" "is" "red" "+") ("Harry" "is" "big" "+")) -> ("Harry" "is" "round" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
All cold people are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
Erin is round.
True
1
proof
[(triple8 OR ((((triple7 ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((triple7 ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((triple7 ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7))]
("Erin" "is" "round" "+")
triple8
((((triple7 ((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple7 ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7 ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((triple4) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((triple4) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Harry is not rough.
False
1
inv-proof
[(triple10 OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3))]
("Harry" "is" "rough" "-")
triple10
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is big.
True
2
proof
[(((triple9) -> rule2))]
("Harry" "is" "big" "+")
((triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Erin is not furry.
False
2
inv-proof
[(((triple4) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))]
("Erin" "is" "furry" "-")
((triple4) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Harry is furry.
True
3
proof
[(((((triple9) -> rule2)) -> rule4))]
("Harry" "is" "furry" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not round.
False
4
inv-proof
[(((triple9 ((triple9) -> rule2)) -> rule6) OR ((((triple10 ((((triple9) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule5)) -> rule7))]
("Harry" "is" "round" "-")
((triple9 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((((triple9) -> (rule2 % int5))) -> (rule4 % int4)) ((triple9) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Dave is rough.
True
6
proof
[(((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3))]
("Dave" "is" "rough" "+")
((((((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is not rough.
False
6
inv-proof
[(((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3))]
("Dave" "is" "rough" "-")
((((((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Bob is not big.
Unknown
inv-rconc
[@3: Bob is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule8 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is red.
Unknown
rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not furry.
Unknown
inv-rconc
[@4: Bob is furry.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule1 <- rule8 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is rough.
Unknown
rconc
[@4: Bob is rough.[CWA. Example of deepest failure = (rule3 <- rule2 <- rule1 <- rule8 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Bob is white.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3 OR ((((triple2) -> rule8)) -> rule1))] Erin is big.[(triple4 OR ((triple5) -> rule8) OR ((triple6) -> rule2))] Erin is cold.[(triple5)] Erin is red.[(triple6 OR ((triple4) -> rule1) OR ((((triple5) -> rule8)) -> rule1))] Erin is rough.[(triple7 OR ((((triple4) -> rule4) triple4) -> rule3) OR ((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) OR ((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) OR ((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3))] Erin is round.[(triple8 OR ((((triple7 ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((triple7 ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((triple7 ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5)) -> rule7))] Harry is red.[(triple9)] Harry is rough.[(triple10 OR ((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3))] @1: Bob is round.[(((triple1) -> rule7))] Dave is big.[(((triple2) -> rule8) OR ((triple3) -> rule2))] Erin is furry.[(((triple4) -> rule4) OR ((((triple5) -> rule8)) -> rule4) OR ((((triple6) -> rule2)) -> rule4))] Harry is big.[(((triple9) -> rule2))] @2: Dave is furry.[(((((triple2) -> rule8)) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] Erin is white.[(((triple7 ((triple4) -> rule4)) -> rule5) OR ((triple7 ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((triple7 ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((triple4) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) triple4) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((triple4) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple5) -> rule8)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple5) -> rule8)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple5) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule3) ((((triple6) -> rule2)) -> rule4)) -> rule5))] Harry is furry.[(((((triple9) -> rule2)) -> rule4))] Harry is round.[(((triple9 ((triple9) -> rule2)) -> rule6) OR ((((triple10 ((((triple9) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule5)) -> rule7))] @3: Dave is rough.[(((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3))] Harry is white.[(((triple10 ((((triple9) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple9) -> rule2)) -> rule4) ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule5))] @4: Dave is white.[(((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5))] @5: Dave is round.[(((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple2) -> rule8)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple2) -> rule8)) -> rule4)) -> rule5)) -> rule7) OR ((((((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule5)) -> rule7))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
((((triple2) -> (rule8 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple4
((triple5) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple6) -> (rule2 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple4) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple7
((((triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple5) -> (rule8 % int3))) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple5) -> (rule8 % int3))) -> (rule4 % int2)) ((triple5) -> (rule8 % int3))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple5) -> (rule8 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule8 % int3))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple8
((((triple7 ((triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple7 ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple7 ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple5) -> (rule8 % int3))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((triple4) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((triple4) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple4) -> (rule4 % int5)) ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((triple4) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple5) -> (rule8 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple5) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple5) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple6) -> (rule2 % int5))) -> (rule4 % int4)) ((triple6) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple6) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
((((((triple9) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9) -> (rule2 % int3))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((triple2) -> (rule8 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple3) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple4) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple9) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple2) -> (rule8 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((triple7 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple7 ((((triple5) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple7 ((((triple6) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple5) -> (rule8 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple6) -> (rule2 % int2))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((triple4) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple5) -> (rule8 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple5) -> (rule8 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple5) -> (rule8 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) ((((triple6) -> (rule2 % int3))) -> (rule4 % int4))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) ((triple5) -> (rule8 % int4))) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int4))) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) triple4) -> (rule3 % int2)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule8 % int4))) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int4))) -> (rule3 % int2)) ((triple4) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) ((triple5) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) ((triple5) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple5) -> (rule8 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple5) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple6) -> (rule2 % int4))) -> (rule4 % int3)) ((triple6) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple6) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple9 ((triple9) -> (rule2 % int2))) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple10 ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((((triple9) -> (rule2 % int5))) -> (rule4 % int4)) ((triple9) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple3) -> (rule2 % int3))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple10 ((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((((triple9) -> (rule2 % int4))) -> (rule4 % int3)) ((triple9) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
((((((((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple2) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple2) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple2) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple2) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple3) -> (rule2 % int4))) -> (rule3 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule5 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
((((((((((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple2) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple2) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple2) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple3) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple2) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple3) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((triple2) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple2) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((triple2) -> (rule8 % int5))) -> (rule3 % int3)) ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((triple3) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple2) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
((((((((((triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((triple3) -> (rule2 % int5))) -> (rule3 % int3)) ((((triple3) -> (rule2 % int5))) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5