Anne is furry. Anne is rough. Anne is smart. Anne is young. Bob is blue. Bob is smart. Charlie is white. Charlie is young. Gary is blue. Gary is round. Gary is white. Gary is young. All blue, smart people are round. If Bob is blue then Bob is rough. If someone is round then they are furry. Young, round people are blue. Blue, white people are smart. If someone is blue then they are white. Furry people are rough. Young people are blue.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue, smart people are round.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Bob is blue then Bob is rough.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "rough" "+"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Young, round people are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Blue, white people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Furry people are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Bob is smart.
True
1
proof
[(triple6 OR ((triple5 ((triple5) -> rule6)) -> rule5))]
("Bob" "is" "smart" "+")
triple6
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Anne is not furry.
False
1
inv-proof
[(triple1 OR ((((((triple4) -> rule8) triple3) -> rule1)) -> rule3) OR ((((((triple4) -> rule8) ((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3))]
("Anne" "is" "furry" "-")
triple1
((((((triple4) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is blue.
True
2
proof
[(((triple4) -> rule8))]
("Anne" "is" "blue" "+")
((triple4) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is not blue.
False
2
inv-proof
[(((triple8) -> rule8))]
("Charlie" "is" "blue" "-")
((triple8) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is smart.
True
4
proof
[(((((triple8) -> rule8) triple7) -> rule5) OR ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5))]
("Charlie" "is" "smart" "+")
((((triple8) -> (rule8 % int2)) triple7) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Anne is not round.
False
4
inv-proof
[(((((triple4) -> rule8) triple3) -> rule1) OR ((((triple4) -> rule8) ((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule6)) -> rule5)) -> rule1))]
("Anne" "is" "round" "-")
((((triple4) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Charlie is round.
True
7
proof
[(((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1))]
("Charlie" "is" "round" "+")
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not round.
False
7
inv-proof
[(((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1))]
("Charlie" "is" "round" "-")
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is furry.
True
8
proof
[(((((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3))]
("Charlie" "is" "furry" "+")
((((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is not furry.
False
8
inv-proof
[(((((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3))]
("Charlie" "is" "furry" "-")
((((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is rough.
True
9
proof
[(((((((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7))]
("Charlie" "is" "rough" "+")
((((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple8) -> (rule8 % int6)) ((((triple8) -> (rule8 % int6)) ((((triple8) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
Charlie is not rough.
False
9
inv-proof
[(((((((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7))]
("Charlie" "is" "rough" "-")
((((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple8) -> (rule8 % int6)) ((((triple8) -> (rule8 % int6)) ((((triple8) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6
@0: Anne is furry.[(triple1 OR ((((((triple4) -> rule8) triple3) -> rule1)) -> rule3) OR ((((((triple4) -> rule8) ((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3))] Anne is rough.[(triple2 OR ((triple1) -> rule7) OR ((((((((triple4) -> rule8) triple3) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple4) -> rule8) ((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7))] Anne is smart.[(triple3 OR ((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule6)) -> rule5))] Anne is young.[(triple4)] Bob is blue.[(triple5)] Bob is smart.[(triple6 OR ((triple5 ((triple5) -> rule6)) -> rule5))] Charlie is white.[(triple7 OR ((((triple8) -> rule8)) -> rule6))] Charlie is young.[(triple8)] Gary is blue.[(triple9 OR ((triple12) -> rule8) OR ((triple12 triple10) -> rule4))] Gary is round.[(triple10 OR ((triple9 ((triple9 triple11) -> rule5)) -> rule1) OR ((((triple12) -> rule8) ((triple9 triple11) -> rule5)) -> rule1) OR ((triple9 ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule1) OR ((triple9 ((((triple12) -> rule8) triple11) -> rule5)) -> rule1) OR ((triple9 ((((triple12) -> rule8) ((triple9) -> rule6)) -> rule5)) -> rule1) OR ((((triple12) -> rule8) ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule1) OR ((((triple12) -> rule8) ((((triple12) -> rule8) triple11) -> rule5)) -> rule1) OR ((((triple12) -> rule8) ((((triple12) -> rule8) ((triple9) -> rule6)) -> rule5)) -> rule1) OR ((triple9 ((triple9 ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1) OR ((triple9 ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1) OR ((((triple12) -> rule8) ((triple9 ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1) OR ((((triple12) -> rule8) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1))] Gary is white.[(triple11 OR ((triple9) -> rule6) OR ((((triple12) -> rule8)) -> rule6) OR ((((triple12 triple10) -> rule4)) -> rule6))] Gary is young.[(triple12)] @1: Anne is blue.[(((triple4) -> rule8))] Bob is rough.[(((triple5) -> rule2) OR ((((((triple5 triple6) -> rule1)) -> rule3)) -> rule7) OR ((((((triple5 ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7))] Bob is round.[(((triple5 triple6) -> rule1) OR ((triple5 ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule1))] Bob is white.[(((triple5) -> rule6))] Charlie is blue.[(((triple8) -> rule8))] Gary is furry.[(((triple10) -> rule3) OR ((((triple9 ((triple9 triple11) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((triple9 triple11) -> rule5)) -> rule1)) -> rule3) OR ((((triple9 ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((triple9 ((((triple12) -> rule8) triple11) -> rule5)) -> rule1)) -> rule3) OR ((((triple9 ((((triple12) -> rule8) ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) triple11) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((triple9 ((triple9 ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((triple9 ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((triple9 ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3))] Gary is smart.[(((triple9 triple11) -> rule5) OR ((triple9 ((triple9) -> rule6)) -> rule5) OR ((((triple12) -> rule8) triple11) -> rule5) OR ((((triple12 triple10) -> rule4) triple11) -> rule5) OR ((((triple12) -> rule8) ((triple9) -> rule6)) -> rule5) OR ((((triple12 triple10) -> rule4) ((triple9) -> rule6)) -> rule5) OR ((triple9 ((((triple12) -> rule8)) -> rule6)) -> rule5) OR ((triple9 ((((triple12 triple10) -> rule4)) -> rule6)) -> rule5) OR ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule5) OR ((((triple12) -> rule8) ((((triple12 triple10) -> rule4)) -> rule6)) -> rule5) OR ((((triple12 triple10) -> rule4) ((((triple12) -> rule8)) -> rule6)) -> rule5) OR ((((triple12 triple10) -> rule4) ((((triple12 triple10) -> rule4)) -> rule6)) -> rule5))] @2: Anne is round.[(((((triple4) -> rule8) triple3) -> rule1) OR ((((triple4) -> rule8) ((((triple4) -> rule8) ((((triple4) -> rule8)) -> rule6)) -> rule5)) -> rule1))] Anne is white.[(((((triple4) -> rule8)) -> rule6))] Bob is furry.[(((((triple5 triple6) -> rule1)) -> rule3) OR ((((triple5 ((triple5 ((triple5) -> rule6)) -> rule5)) -> rule1)) -> rule3))] Charlie is smart.[(((((triple8) -> rule8) triple7) -> rule5) OR ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5))] Gary is rough.[(((((triple10) -> rule3)) -> rule7) OR ((((((triple9 ((triple9 triple11) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule8) ((triple9 triple11) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple9 ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple9 ((((triple12) -> rule8) triple11) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple9 ((((triple12) -> rule8) ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule8) ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8) triple11) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8) ((triple9) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple9 ((triple9 ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((triple9 ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule8) ((triple9 ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple12) -> rule8) ((((triple12) -> rule8) ((((triple12) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7))] @3: Charlie is round.[(((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1))] @4: Charlie is furry.[(((((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3))] @5: Charlie is rough.[(((((((((triple8) -> rule8) ((((triple8) -> rule8) triple7) -> rule5)) -> rule1)) -> rule3)) -> rule7) OR ((((((((triple8) -> rule8) ((((triple8) -> rule8) ((((triple8) -> rule8)) -> rule6)) -> rule5)) -> rule1)) -> rule3)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((((((triple4) -> (rule8 % int3)) triple3) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5)) ((((triple4) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is rough.
("Anne" "is" "rough" "+")
triple2
((triple1) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((((((triple4) -> (rule8 % int4)) triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule8 % int6)) ((((triple4) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
triple3
((((triple4) -> (rule8 % int3)) ((((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple5 ((triple5) -> (rule6 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple7
((((triple8) -> (rule8 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
((triple12) -> (rule8 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple12 triple10) -> (rule4 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
((triple9 ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
((((triple12) -> (rule8 % int3)) ((triple9 triple11) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple9 ((triple9 ((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
((triple9 ((((triple12) -> (rule8 % int3)) triple11) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple9 ((((triple12) -> (rule8 % int4)) ((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int4)) ((triple9 ((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int3)) ((((triple12) -> (rule8 % int3)) triple11) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule8 % int4)) ((triple9) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((triple9 ((((triple12) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((triple9 ((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int4)) ((triple9 ((((triple12) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
triple11
((triple9) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple12 triple10) -> (rule4 % int2))) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple12
Anne is blue.
("Anne" "is" "blue" "+")
((triple4) -> (rule8 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple5) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((((triple5 triple6) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple5 ((triple5 ((triple5) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple6) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple5 ((triple5 ((triple5) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
((triple5) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple8) -> (rule8 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple10) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple9 ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
((((((triple12) -> (rule8 % int4)) ((triple9 triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple9 ((triple9 ((triple9) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
((((triple9 ((((triple12) -> (rule8 % int4)) triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((triple9 ((((triple12) -> (rule8 % int5)) ((triple9) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((triple9 ((triple9) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int4)) ((((triple12) -> (rule8 % int4)) triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
int4
((((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5)) ((triple9) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple9 ((triple9 ((((triple12) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((triple9 ((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((triple9 ((((triple12) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
Gary is smart.
("Gary" "is" "smart" "+")
((triple9 triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple9 ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple12) -> (rule8 % int2)) triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple12 triple10) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
((((triple12) -> (rule8 % int3)) ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple12 triple10) -> (rule4 % int3)) ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple9 ((((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((triple9 ((((triple12 triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple12) -> (rule8 % int3)) ((((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple12) -> (rule8 % int3)) ((((triple12 triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple12 triple10) -> (rule4 % int3)) ((((triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
((((triple12 triple10) -> (rule4 % int3)) ((((triple12 triple10) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((((triple4) -> (rule8 % int2)) triple3) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4)) ((((triple4) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((((triple5 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple5 ((triple5 ((triple5) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple8) -> (rule8 % int2)) triple7) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((((triple10) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple9 ((triple9 triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
((((((((triple12) -> (rule8 % int5)) ((triple9 triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple9 ((triple9 ((triple9) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
((((((triple9 ((((triple12) -> (rule8 % int5)) triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((triple9 ((((triple12) -> (rule8 % int6)) ((triple9) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple12) -> (rule8 % int6)) ((triple9 ((triple9) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple12) -> (rule8 % int5)) ((((triple12) -> (rule8 % int5)) triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
int5
((((((((triple12) -> (rule8 % int6)) ((((triple12) -> (rule8 % int6)) ((triple9) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((triple9 ((triple9 ((((triple12) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((triple9 ((((triple12) -> (rule8 % int6)) ((((triple12) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple12) -> (rule8 % int6)) ((triple9 ((((triple12) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
((((((((triple12) -> (rule8 % int6)) ((((triple12) -> (rule8 % int6)) ((((triple12) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is blue.
("Gary" "is" "blue" "+")
int6
Charlie is round.
("Charlie" "is" "round" "+")
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple7) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple7) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple8) -> (rule8 % int6)) ((((triple8) -> (rule8 % int6)) ((((triple8) -> (rule8 % int6))) -> (rule6 % int5))) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
int6