Anne is blue. Bob is blue. Bob is furry. Bob is red. Bob is white. Charlie is nice. Charlie is young. Gary is furry. Gary is round. Gary is white. If something is white then it is young. If something is blue then it is young. If something is nice and furry then it is round. If something is white and furry then it is nice. If something is furry and blue then it is white. If something is round then it is red. Blue, young things are furry. All blue things are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is white then it is young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is nice and furry then it is round.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If something is white and furry then it is nice.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
If something is furry and blue then it is white.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
Blue, young things are furry.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
All blue things are furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Gary is white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Gary is not white.
False
1
inv-proof
[(triple10)]
("Gary" "is" "white" "-")
triple10
Bob is nice.
True
3
proof
[(((triple5 triple3) -> rule4) OR ((triple5 ((triple2) -> rule8)) -> rule4) OR ((((triple3 triple2) -> rule5) triple3) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4))]
("Bob" "is" "nice" "+")
((triple5 triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5 ((triple2) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple3 triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple5 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple5 ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple5) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not young.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple5) -> rule1) OR ((((triple3 triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule8) triple2) -> rule5)) -> rule1))]
("Bob" "is" "young" "-")
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Anne is white.
True
4
proof
[(((((triple1) -> rule8) triple1) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5))]
("Anne" "is" "white" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not white.
False
4
inv-proof
[(((((triple1) -> rule8) triple1) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5))]
("Anne" "is" "white" "-")
((((triple1) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
True
7
proof
[(((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4))]
("Anne" "is" "nice" "+")
((((((triple1) -> (rule8 % int3)) triple1) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple1) -> (rule8 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not nice.
False
7
inv-proof
[(((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4))]
("Anne" "is" "nice" "-")
((((((triple1) -> (rule8 % int3)) triple1) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple1) -> (rule8 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is round.
True
10
proof
[(((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3))]
("Anne" "is" "round" "+")
((((((((triple1) -> (rule8 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple1) -> (rule8 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is not round.
False
10
inv-proof
[(((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3))]
("Anne" "is" "round" "-")
((((((((triple1) -> (rule8 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple1) -> (rule8 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
True
11
proof
[(((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6))]
("Anne" "is" "red" "+")
((((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1) -> (rule8 % int6))) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple1) -> (rule8 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is not red.
False
11
inv-proof
[(((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6))]
("Anne" "is" "red" "-")
((((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1) -> (rule8 % int6))) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple1) -> (rule8 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Charlie is not red.
Unknown
inv-rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule7 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule8) OR ((triple2 ((triple2) -> rule2)) -> rule7) OR ((triple2 ((triple5) -> rule1)) -> rule7))] Bob is red.[(triple4 OR ((((((triple5 triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5 triple3) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2) -> rule8)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5 triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple5 triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) triple3) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5 ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3)) -> rule6))] Bob is white.[(triple5 OR ((triple3 triple2) -> rule5) OR ((((triple2) -> rule8) triple2) -> rule5) OR ((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5))] Charlie is nice.[(triple6)] Charlie is young.[(triple7)] Gary is furry.[(triple8)] Gary is round.[(triple9 OR ((((triple10 triple8) -> rule4) triple8) -> rule3))] Gary is white.[(triple10)] @1: Anne is furry.[(((triple1) -> rule8) OR ((triple1 ((triple1) -> rule2)) -> rule7))] Anne is young.[(((triple1) -> rule2) OR ((((((triple1) -> rule8) triple1) -> rule5)) -> rule1))] Bob is nice.[(((triple5 triple3) -> rule4) OR ((triple5 ((triple2) -> rule8)) -> rule4) OR ((((triple3 triple2) -> rule5) triple3) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) OR ((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4))] Bob is young.[(((triple2) -> rule2) OR ((triple5) -> rule1) OR ((((triple3 triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule8) triple2) -> rule5)) -> rule1))] Gary is nice.[(((triple10 triple8) -> rule4))] Gary is red.[(((triple9) -> rule6) OR ((((((triple10 triple8) -> rule4) triple8) -> rule3)) -> rule6))] Gary is young.[(((triple10) -> rule1))] @2: Anne is white.[(((((triple1) -> rule8) triple1) -> rule5) OR ((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5))] Bob is round.[(((((triple5 triple3) -> rule4) triple3) -> rule3) OR ((((triple5 triple3) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule4) triple3) -> rule3) OR ((((((triple3 triple2) -> rule5) triple3) -> rule4) triple3) -> rule3) OR ((((triple5 triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((triple5 triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3 triple2) -> rule5) triple3) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) triple3) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((triple5 ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) triple3) -> rule3) OR ((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) triple3) -> rule3) OR ((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((triple5 ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((triple5 ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((triple3 triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2) -> rule8) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) triple3) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) triple3) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) triple3) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) triple3) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2) -> rule8)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple2 ((triple2) -> rule2)) -> rule7) triple2) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule4) ((triple2 ((triple5) -> rule1)) -> rule7)) -> rule3))] @3: Anne is nice.[(((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) OR ((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4))] @4: Anne is round.[(((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3) OR ((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3))] @5: Anne is red.[(((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1) -> rule8) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1) -> rule8)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((((triple1 ((triple1) -> rule2)) -> rule7) triple1) -> rule5) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule3)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
((triple2) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple2 ((triple5) -> (rule1 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple4
((((((triple5 triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule4 % int4)) ((triple2) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple5 ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple3 triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple5 triple3) -> (rule4 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple5 triple3) -> (rule4 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple5 ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple3 triple2) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((triple2) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple3 triple2) -> (rule5 % int5)) ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple5 ((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5 ((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple3 triple2) -> (rule5 % int6)) triple3) -> (rule4 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) triple3) -> (rule4 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int5)) ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2) -> (rule8 % int5))) -> (rule4 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((triple5 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple5 ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple5 ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple5 ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple5 ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple5 ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2) -> (rule8 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) ((triple2) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((triple3 triple2) -> (rule5 % int6)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is white.
("Bob" "is" "white" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2) -> (rule8 % int6))) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2) -> (rule8 % int6))) -> (rule4 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple2) -> (rule8 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple2) -> (rule8 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2) -> (rule8 % int6)) triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) ((triple2) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) triple3) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple2) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple2) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((((((triple2 ((triple2) -> (rule2 % int6))) -> (rule7 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Bob is white.
("Bob" "is" "white" "+")
triple5
((triple3 triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple2) -> (rule8 % int2)) triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2)) triple2) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((((triple10 triple8) -> (rule4 % int2)) triple8) -> (rule3 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple10
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
((((((triple1) -> (rule8 % int3)) triple1) -> (rule5 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((triple5 triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple5 ((triple2) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((triple3 triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((triple5 ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple5 ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple3 triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple5) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) triple3) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) ((triple2) -> (rule8 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3)) triple2) -> (rule5 % int2)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple3 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple2) -> (rule8 % int3)) triple2) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 triple8) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((((triple10 triple8) -> (rule4 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int2)) triple1) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple5 triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple5 triple3) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5 ((triple2) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple3 triple2) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple5 triple3) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple5 triple3) -> (rule4 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple5 ((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple3 triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple3 triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple5 ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple5 ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3 triple2) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) triple3) -> (rule4 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((((triple3 triple2) -> (rule5 % int5)) ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) ((triple2) -> (rule8 % int4))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int2))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((triple5 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple5 ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple5 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple5 ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) triple3) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple5 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple5 ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple5 ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple5 ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2) -> (rule8 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) triple3) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int4)) triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((triple3 triple2) -> (rule5 % int5)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) ((triple2 ((triple2) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2) -> (rule8 % int5))) -> (rule4 % int3)) ((triple2 ((triple5) -> (rule1 % int2))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple2) -> (rule8 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple2) -> (rule8 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2) -> (rule8 % int5)) triple2) -> (rule5 % int4)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int3))) -> (rule7 % int5))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) triple3) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) triple3) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) triple3) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) triple3) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2) -> (rule8 % int4))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple2) -> (rule8 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule7 % int4)) triple2) -> (rule5 % int3)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple2 ((triple5) -> (rule1 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule8 % int3)) triple1) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
((((((triple1) -> (rule8 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple1) -> (rule8 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3)) triple1) -> (rule5 % int2)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((((((triple1) -> (rule8 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int2))) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple1) -> (rule8 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int5))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1) -> (rule8 % int4))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple1) -> (rule8 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4)) triple1) -> (rule5 % int3)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule4 % int2)) ((triple1 ((triple1) -> (rule2 % int5))) -> (rule7 % int4))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
((((((((((triple1) -> (rule8 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1) -> (rule8 % int6))) -> (rule4 % int4)) ((triple1 ((triple1) -> (rule2 % int3))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple1) -> (rule8 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule5 % int5)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int4))) -> (rule7 % int6))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1) -> (rule8 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple1) -> (rule8 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((((((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5)) triple1) -> (rule5 % int4)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule4 % int3)) ((triple1 ((triple1) -> (rule2 % int6))) -> (rule7 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6