Bob is blue. Bob is green. Bob is nice. Bob is quiet. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is young. Round, quiet people are blue. All blue, round people are quiet. All nice, green people are quiet. If someone is round and quiet then they are furry. Quiet people are round. If someone is quiet and furry then they are green. If someone is round then they are quiet. Furry people are young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Round, quiet people are blue.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All blue, round people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
All nice, green people are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round and quiet then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Quiet people are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet and furry then they are green.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is round then they are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Charlie is young.
True
1
proof
[(triple10 OR ((triple5) -> rule8) OR ((((triple9 triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple9) -> rule7)) -> rule4)) -> rule8) OR ((((triple9 ((triple7 triple6) -> rule3)) -> rule4)) -> rule8) OR ((((((triple8) -> rule5) triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule5) ((triple9) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8) -> rule5) ((triple7 triple6) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule3)) -> rule5) triple8) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3)) -> rule4)) -> rule8))]
("Charlie" "is" "young" "+")
triple10
((triple5) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple9 triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple9 ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple9 ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple8) -> (rule5 % int3)) triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple8) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple8) -> (rule5 % int4)) ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple9) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7 triple6) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is not round.
False
1
inv-proof
[(triple9 OR ((triple8) -> rule5) OR ((((triple7 triple6) -> rule3)) -> rule5))]
("Charlie" "is" "round" "-")
triple9
((triple8) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Bob is round.
True
2
proof
[(((triple4) -> rule5) OR ((((triple3 triple2) -> rule3)) -> rule5))]
("Bob" "is" "round" "+")
((triple4) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Charlie is not blue.
False
3
inv-proof
[(((triple9 triple8) -> rule1) OR ((triple9 ((triple9) -> rule7)) -> rule1) OR ((triple9 ((triple7 triple6) -> rule3)) -> rule1) OR ((((triple8) -> rule5) triple8) -> rule1) OR ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule1) OR ((((triple8) -> rule5) ((triple7 triple6) -> rule3)) -> rule1) OR ((((((triple7 triple6) -> rule3)) -> rule5) triple8) -> rule1) OR ((((((triple7 triple6) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule1) OR ((((((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3)) -> rule1))]
("Charlie" "is" "blue" "-")
((triple9 triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple9 ((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple8) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple8) -> (rule5 % int3)) ((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple9) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7 triple6) -> (rule3 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Bob is furry.
True
4
proof
[(((((triple4) -> rule5) triple4) -> rule4) OR ((((triple4) -> rule5) ((triple3 triple2) -> rule3)) -> rule4) OR ((((((triple3 triple2) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple3 triple2) -> rule3)) -> rule5) ((triple3 triple2) -> rule3)) -> rule4))]
("Bob" "is" "furry" "+")
((((triple4) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is not furry.
False
4
inv-proof
[(((((triple4) -> rule5) triple4) -> rule4) OR ((((triple4) -> rule5) ((triple3 triple2) -> rule3)) -> rule4) OR ((((((triple3 triple2) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple3 triple2) -> rule3)) -> rule5) ((triple3 triple2) -> rule3)) -> rule4))]
("Bob" "is" "furry" "-")
((((triple4) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
@0: Bob is blue.[(triple1 OR ((((triple4) -> rule5) triple4) -> rule1) OR ((((triple4) -> rule5) ((triple3 triple2) -> rule3)) -> rule1) OR ((((((triple3 triple2) -> rule3)) -> rule5) triple4) -> rule1) OR ((((((triple3 triple2) -> rule3)) -> rule5) ((triple3 triple2) -> rule3)) -> rule1))] Bob is green.[(triple2 OR ((triple4 ((((triple4) -> rule5) triple4) -> rule4)) -> rule6))] Bob is nice.[(triple3)] Bob is quiet.[(triple4 OR ((triple3 triple2) -> rule3))] Charlie is furry.[(triple5 OR ((triple9 triple8) -> rule4) OR ((triple9 ((triple9) -> rule7)) -> rule4) OR ((triple9 ((triple7 triple6) -> rule3)) -> rule4) OR ((((triple8) -> rule5) triple8) -> rule4) OR ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule4) OR ((((triple8) -> rule5) ((triple7 triple6) -> rule3)) -> rule4) OR ((((((triple7 triple6) -> rule3)) -> rule5) triple8) -> rule4) OR ((((((triple7 triple6) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule4) OR ((((((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3)) -> rule4))] Charlie is green.[(triple6 OR ((triple8 triple5) -> rule6) OR ((triple8 ((triple9 triple8) -> rule4)) -> rule6) OR ((((triple9) -> rule7) triple5) -> rule6) OR ((((triple9) -> rule7) ((triple9 triple8) -> rule4)) -> rule6) OR ((triple8 ((triple9 ((triple9) -> rule7)) -> rule4)) -> rule6) OR ((triple8 ((((triple8) -> rule5) triple8) -> rule4)) -> rule6) OR ((triple8 ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule4)) -> rule6) OR ((((triple9) -> rule7) ((triple9 ((triple9) -> rule7)) -> rule4)) -> rule6) OR ((((triple9) -> rule7) ((((triple8) -> rule5) triple8) -> rule4)) -> rule6) OR ((((triple9) -> rule7) ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule4)) -> rule6))] Charlie is nice.[(triple7)] Charlie is quiet.[(triple8 OR ((triple9) -> rule7) OR ((triple7 triple6) -> rule3))] Charlie is round.[(triple9 OR ((triple8) -> rule5) OR ((((triple7 triple6) -> rule3)) -> rule5))] Charlie is young.[(triple10 OR ((triple5) -> rule8) OR ((((triple9 triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple9) -> rule7)) -> rule4)) -> rule8) OR ((((triple9 ((triple7 triple6) -> rule3)) -> rule4)) -> rule8) OR ((((((triple8) -> rule5) triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule5) ((triple9) -> rule7)) -> rule4)) -> rule8) OR ((((((triple8) -> rule5) ((triple7 triple6) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule3)) -> rule5) triple8) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule4)) -> rule8) OR ((((((((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3)) -> rule4)) -> rule8))] @1: Bob is round.[(((triple4) -> rule5) OR ((((triple3 triple2) -> rule3)) -> rule5))] Charlie is blue.[(((triple9 triple8) -> rule1) OR ((triple9 ((triple9) -> rule7)) -> rule1) OR ((triple9 ((triple7 triple6) -> rule3)) -> rule1) OR ((((triple8) -> rule5) triple8) -> rule1) OR ((((triple8) -> rule5) ((triple9) -> rule7)) -> rule1) OR ((((triple8) -> rule5) ((triple7 triple6) -> rule3)) -> rule1) OR ((((((triple7 triple6) -> rule3)) -> rule5) triple8) -> rule1) OR ((((((triple7 triple6) -> rule3)) -> rule5) ((triple9) -> rule7)) -> rule1) OR ((((((triple7 triple6) -> rule3)) -> rule5) ((triple7 triple6) -> rule3)) -> rule1))] @2: Bob is furry.[(((((triple4) -> rule5) triple4) -> rule4) OR ((((triple4) -> rule5) ((triple3 triple2) -> rule3)) -> rule4) OR ((((((triple3 triple2) -> rule3)) -> rule5) triple4) -> rule4) OR ((((((triple3 triple2) -> rule3)) -> rule5) ((triple3 triple2) -> rule3)) -> rule4))] @3: Bob is young.[(((((((triple4) -> rule5) triple4) -> rule4)) -> rule8) OR ((((((triple4) -> rule5) ((triple3 triple2) -> rule3)) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule3)) -> rule5) triple4) -> rule4)) -> rule8) OR ((((((((triple3 triple2) -> rule3)) -> rule5) ((triple3 triple2) -> rule3)) -> rule4)) -> rule8))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((((triple4) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3 triple2) -> (rule3 % int3))) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple4 ((((triple4) -> (rule5 % int3)) triple4) -> (rule4 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple3 triple2) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple5
((triple9 triple8) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple9 ((triple7 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple8) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple8) -> (rule5 % int3)) ((triple7 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple9) -> (rule7 % int3))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
triple6
((triple8 triple5) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple8 ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple9) -> (rule7 % int2)) triple5) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple9) -> (rule7 % int3)) ((triple9 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple8 ((triple9 ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((triple8 ((((triple8) -> (rule5 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple8 ((((triple8) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple9) -> (rule7 % int3)) ((triple9 ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple9) -> (rule7 % int4)) ((((triple8) -> (rule5 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((triple9) -> (rule7 % int4)) ((((triple8) -> (rule5 % int3)) ((triple9) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple8
((triple9) -> (rule7 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple7 triple6) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple9
((triple8) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple7 triple6) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple10
((triple5) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple9 triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple9 ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((triple9 ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple8) -> (rule5 % int3)) triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple8) -> (rule5 % int4)) ((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((triple8) -> (rule5 % int4)) ((triple7 triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3)) triple8) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple9) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
((((((((triple7 triple6) -> (rule3 % int4))) -> (rule5 % int3)) ((triple7 triple6) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((triple4) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple3 triple2) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple9 triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple9 ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple9 ((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple8) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple8) -> (rule5 % int3)) ((triple9) -> (rule7 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple8) -> (rule5 % int3)) ((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) triple8) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple9) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
((((((triple7 triple6) -> (rule3 % int3))) -> (rule5 % int2)) ((triple7 triple6) -> (rule3 % int3))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((triple4) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4) -> (rule5 % int3)) ((triple3 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3 triple2) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3 triple2) -> (rule3 % int3))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((((triple4) -> (rule5 % int3)) triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple4) -> (rule5 % int4)) ((triple3 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) triple4) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((((triple3 triple2) -> (rule3 % int4))) -> (rule5 % int3)) ((triple3 triple2) -> (rule3 % int4))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4