Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is round. If someone is red and quiet then they are furry. If Bob is nice then Bob is round. Quiet, round people are rough. All quiet people are red. If someone is red and rough then they are nice. If someone is rough and cold then they are furry. If someone is nice then they are cold. If someone is furry and red then they are round.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
If someone is red and quiet then they are furry.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Bob is nice then Bob is round.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "round" "+"))
Quiet, round people are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is red and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and cold then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is furry and red then they are round.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Bob is furry.
True
1
proof
[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple6 triple1) -> rule6) OR ((triple6 ((triple3) -> rule7)) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4 triple7) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6))]
("Bob" "is" "furry" "+")
triple2
((triple5 triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple4 triple7) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4 triple7) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple6 ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4 triple7) -> (rule3 % int4)) ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((triple6 ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple6 ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((((((triple4) -> (rule4 % int5)) ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple4 triple7) -> (rule3 % int4)) ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 triple7) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple4 triple7) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) ((triple4 triple7) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple4 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple4 ((triple3) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
int6
((((triple4 ((triple3) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) ((triple4 triple7) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
int6
Bob is not furry.
False
1
inv-proof
[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple6 triple1) -> rule6) OR ((triple6 ((triple3) -> rule7)) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4 triple7) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6))]
("Bob" "is" "furry" "-")
triple2
((triple5 triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple4 triple7) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4 triple7) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple6 ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4 triple7) -> (rule3 % int4)) ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((triple6 ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple6 ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((((((triple4) -> (rule4 % int5)) ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple4 triple7) -> (rule3 % int4)) ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 triple7) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple4 triple7) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) ((triple4 triple7) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple4 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple4 ((triple3) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
int6
((((triple4 ((triple3) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) ((triple4 triple7) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
int6
@0: Bob is cold.[(triple1 OR ((triple3) -> rule7) OR ((((triple5 triple6) -> rule5)) -> rule7) OR ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5)) -> rule7) OR ((((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5)) -> rule7))] Bob is furry.[(triple2 OR ((triple5 triple4) -> rule1) OR ((triple6 triple1) -> rule6) OR ((triple6 ((triple3) -> rule7)) -> rule6) OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4 triple7) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) triple1) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((triple6 ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 triple7) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((triple5 ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) OR ((((triple4 ((triple3) -> rule2)) -> rule3) ((((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5)) -> rule7)) -> rule6))] Bob is nice.[(triple3 OR ((triple5 triple6) -> rule5) OR ((triple5 ((triple4 triple7) -> rule3)) -> rule5) OR ((((triple4) -> rule4) triple6) -> rule5) OR ((((triple4) -> rule4) ((triple4 triple7) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((triple2 triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3)) -> rule5))] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple4) -> rule4))] Bob is rough.[(triple6 OR ((triple4 triple7) -> rule3) OR ((triple4 ((triple3) -> rule2)) -> rule3) OR ((triple4 ((triple2 triple5) -> rule8)) -> rule3) OR ((triple4 ((triple2 ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) triple5) -> rule8)) -> rule3) OR ((triple4 ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3) OR ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8)) -> rule3) OR ((triple4 ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8)) -> rule3))] Bob is round.[(triple7 OR ((triple3) -> rule2) OR ((triple2 triple5) -> rule8) OR ((((triple5 triple6) -> rule5)) -> rule2) OR ((triple2 ((triple4) -> rule4)) -> rule8) OR ((((triple5 triple4) -> rule1) triple5) -> rule8) OR ((((triple6 triple1) -> rule6) triple5) -> rule8) OR ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule8) OR ((((triple6 triple1) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((((triple4) -> rule4) triple6) -> rule5)) -> rule2) OR ((((triple6 ((triple3) -> rule7)) -> rule6) triple5) -> rule8) OR ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule8) OR ((((triple6 ((triple3) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule8) OR ((((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) triple5) -> rule8) OR ((((triple6 ((((triple5 triple6) -> rule5)) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) triple5) -> rule8) OR ((((triple6 ((((((triple4) -> rule4) triple6) -> rule5)) -> rule7)) -> rule6) ((triple4) -> rule4)) -> rule8))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple3) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple5 triple6) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple5 ((triple4 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4) -> (rule4 % int3)) triple6) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple4) -> (rule4 % int4)) ((triple4 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple5 ((triple4 ((triple2 triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule4 % int5)) ((triple4 ((triple2 triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple5 ((triple4 ((triple2 ((triple4) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple5 ((triple4 ((((triple5 triple4) -> (rule1 % int5)) triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple5 ((triple4 ((((triple5 triple4) -> (rule1 % int6)) ((triple4) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int5)) ((triple4 ((triple2 ((triple4) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple4) -> (rule4 % int6)) ((triple4 ((((triple5 triple4) -> (rule1 % int5)) triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple4 ((((triple5 triple4) -> (rule1 % int5)) ((triple4) -> (rule4 % int6))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((triple5 ((triple4 ((((((triple4) -> (rule4 % int6)) triple4) -> (rule1 % int5)) triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((triple5 ((triple4 ((((((triple4) -> (rule4 % int6)) triple4) -> (rule1 % int5)) ((triple4) -> (rule4 % int6))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple4 ((((((triple4) -> (rule4 % int6)) triple4) -> (rule1 % int5)) triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple4 ((((((triple4) -> (rule4 % int6)) triple4) -> (rule1 % int5)) ((triple4) -> (rule4 % int6))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple5 triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple6 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple4 triple7) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4 triple7) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple6 ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple4 ((triple3) -> (rule2 % int3))) -> (rule3 % int2)) triple1) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4 triple7) -> (rule3 % int4)) ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple5 triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((triple6 ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple6 ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple6 ((((((triple4) -> (rule4 % int5)) ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple4 triple7) -> (rule3 % int4)) ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple4 triple7) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple4 triple7) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) ((triple4 triple7) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple4 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple5 ((triple4 triple7) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple4 ((triple3) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) triple6) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
int6
((((triple4 ((triple3) -> (rule2 % int6))) -> (rule3 % int5)) ((((((triple4) -> (rule4 % int4)) ((triple4 triple7) -> (rule3 % int5))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
int6
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((triple5 triple6) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5 ((triple4 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4) -> (rule4 % int2)) triple6) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple4 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple5 ((triple4 ((triple2 triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4) -> (rule4 % int4)) ((triple4 ((triple2 triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple5 ((triple4 ((triple2 ((triple4) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple5 ((triple4 ((((triple5 triple4) -> (rule1 % int4)) triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple5 ((triple4 ((((triple5 triple4) -> (rule1 % int5)) ((triple4) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple4) -> (rule4 % int4)) ((triple4 ((triple2 ((triple4) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple4) -> (rule4 % int5)) ((triple4 ((((triple5 triple4) -> (rule1 % int4)) triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple4) -> (rule4 % int5)) ((triple4 ((((triple5 triple4) -> (rule1 % int4)) ((triple4) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((triple5 ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule1 % int4)) triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((triple5 ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule1 % int4)) ((triple4) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple4) -> (rule4 % int5)) ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule1 % int4)) triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple4) -> (rule4 % int5)) ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule1 % int4)) ((triple4) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple4) -> (rule4 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple6
((triple4 triple7) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple4 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple4 ((triple2 triple5) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple4 ((triple2 ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple4 ((((triple5 triple4) -> (rule1 % int4)) ((triple4) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple4 ((((((triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3)) triple5) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple4 ((((((triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((triple4) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple7
((triple3) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple2 triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple5 triple6) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple2 ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple5 triple4) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple6 triple1) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple5 triple4) -> (rule1 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple6 triple1) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple4) -> (rule4 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6 ((triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2)) triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6 ((triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((((triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2)) ((triple4) -> (rule4 % int3))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple6 ((((triple5 triple6) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple6 ((((triple5 triple6) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule6 % int3)) ((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple6 ((((((triple4) -> (rule4 % int5)) triple6) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((triple6 ((((((triple4) -> (rule4 % int5)) triple6) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) ((triple4) -> (rule4 % int5))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5