Anne is green. Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Fiona is blue. Fiona is quiet. Gary is blue. Gary is nice. If someone is quiet and big then they are nice. Blue people are big. If someone is big and quiet then they are green. All green people are furry. Furry, smart people are big. Blue, smart people are green. All quiet, furry people are smart. Furry people are quiet.
Anne is green.
("Anne" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is quiet and big then they are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big and quiet then they are green.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Furry, smart people are big.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
Blue, smart people are green.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All quiet, furry people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Bob is furry.
True
1
proof
[(triple4 OR ((triple5) -> rule4) OR ((((triple2 triple7) -> rule3)) -> rule4) OR ((((triple3 triple8) -> rule6)) -> rule4) OR ((((((triple3) -> rule2) triple7) -> rule3)) -> rule4))]
("Bob" "is" "furry" "+")
triple4
((triple5) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple3 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple3) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Gary is not blue.
False
1
inv-proof
[(triple11)]
("Gary" "is" "blue" "-")
triple11
Anne is furry.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple9) -> rule2))]
("Fiona" "is" "big" "-")
((triple9) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is quiet.
True
3
proof
[(((((triple1) -> rule4)) -> rule8))]
("Anne" "is" "quiet" "+")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not quiet.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule8))]
("Anne" "is" "quiet" "-")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Fiona is furry.
True
5
proof
[(((((((triple9) -> rule2) triple10) -> rule3)) -> rule4))]
("Fiona" "is" "furry" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Anne is not smart.
False
6
inv-proof
[(((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7))]
("Anne" "is" "smart" "-")
((((((triple1) -> (rule4 % int3))) -> (rule8 % int2)) ((triple1) -> (rule4 % int3))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is big.
True
9
proof
[(((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule5))]
("Anne" "is" "big" "+")
((((triple1) -> (rule4 % int4)) ((((((triple1) -> (rule4 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is not big.
False
9
inv-proof
[(((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule5))]
("Anne" "is" "big" "-")
((((triple1) -> (rule4 % int4)) ((((((triple1) -> (rule4 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is nice.
True
13
proof
[(((((((triple1) -> rule4)) -> rule8) ((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule5)) -> rule1))]
("Anne" "is" "nice" "+")
((((((triple1) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule4 % int5)) ((((((triple1) -> (rule4 % int5))) -> (rule8 % int4)) ((triple1) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is not nice.
False
13
inv-proof
[(((((((triple1) -> rule4)) -> rule8) ((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule5)) -> rule1))]
("Anne" "is" "nice" "-")
((((((triple1) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule4 % int5)) ((((((triple1) -> (rule4 % int5))) -> (rule8 % int4)) ((triple1) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Gary is not quiet.
Unknown
inv-rconc
[@4: Gary is quiet.[CWA. Example of deepest failure = (rule8 <- rule4 <- rule6 <- rule7 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is green.
Unknown
rconc
[@5: Gary is green.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule4 <- rule6 <- rule7 <- FAIL)]]
("Gary" "is" "green" "+")
Gary is not smart.
Unknown
inv-rconc
[@4: Gary is smart.[CWA. Example of deepest failure = (rule7 <- rule8 <- rule4 <- rule3 <- FAIL)]]
("Gary" "is" "smart" "-")
Gary is furry.
Unknown
rconc
[@3: Gary is furry.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule8 <- FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is green.[(triple1)] Bob is big.[(triple2 OR ((triple3) -> rule2) OR ((triple4 triple8) -> rule5) OR ((triple4 ((triple7 triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule4) triple8) -> rule5) OR ((((triple5) -> rule4) ((triple7 triple4) -> rule7)) -> rule5) OR ((triple4 ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((triple4 ((((triple4) -> rule8) triple4) -> rule7)) -> rule5) OR ((((((triple3 triple8) -> rule6)) -> rule4) triple8) -> rule5) OR ((triple4 ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((((triple5) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((((triple5) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5) OR ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5) OR ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((triple4 ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5) OR ((triple4 ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5) OR ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5) OR ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5))] Bob is blue.[(triple3)] Bob is furry.[(triple4 OR ((triple5) -> rule4) OR ((((triple2 triple7) -> rule3)) -> rule4) OR ((((triple3 triple8) -> rule6)) -> rule4) OR ((((((triple3) -> rule2) triple7) -> rule3)) -> rule4))] Bob is green.[(triple5 OR ((triple2 triple7) -> rule3) OR ((triple3 triple8) -> rule6) OR ((triple2 ((triple4) -> rule8)) -> rule3) OR ((triple3 ((triple7 triple4) -> rule7)) -> rule6) OR ((((triple3) -> rule2) triple7) -> rule3) OR ((((triple4 triple8) -> rule5) triple7) -> rule3) OR ((((triple3) -> rule2) ((triple4) -> rule8)) -> rule3) OR ((((triple4 triple8) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((triple3 ((((triple4) -> rule8) triple4) -> rule7)) -> rule6) OR ((((triple4 ((triple7 triple4) -> rule7)) -> rule5) triple7) -> rule3) OR ((((triple4 ((triple7 triple4) -> rule7)) -> rule5) ((triple4) -> rule8)) -> rule3) OR ((((triple4 ((((triple4) -> rule8) triple4) -> rule7)) -> rule5) triple7) -> rule3) OR ((((triple4 ((((triple4) -> rule8) triple4) -> rule7)) -> rule5) ((triple4) -> rule8)) -> rule3))] Bob is nice.[(triple6 OR ((triple7 triple2) -> rule1) OR ((triple7 ((triple3) -> rule2)) -> rule1) OR ((triple7 ((triple4 triple8) -> rule5)) -> rule1) OR ((((triple4) -> rule8) triple2) -> rule1) OR ((((triple4) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((triple4) -> rule8) ((triple4 triple8) -> rule5)) -> rule1) OR ((triple7 ((triple4 ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((triple5) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) triple2) -> rule1) OR ((triple7 ((((triple5) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((triple4 ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((triple5) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4 triple8) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((triple5) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4 ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((triple5) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((triple5) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((triple4 ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((triple4 ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((((triple3 triple8) -> rule6)) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) triple2) -> rule1) OR ((triple7 ((triple4 ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((triple5) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((triple5) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((triple4 ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((triple4 ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple3) -> rule2)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple4 triple8) -> rule5)) -> rule1) OR ((triple7 ((((triple5) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((triple4 ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((triple5) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((triple5) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4 ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4 ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple4 ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((triple5) -> rule4) triple8) -> rule5)) -> rule1) OR ((triple7 ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((triple5) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4 ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((triple5) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple4 ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple4 ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((triple5) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) triple8) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple4 ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((triple5) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((triple7 ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((triple4 ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((triple4 ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((triple4 ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((triple4 ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4 ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((triple7 ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((triple4 ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple4 ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((triple4) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((triple4 ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((triple5) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7)) -> rule5)) -> rule1) OR ((((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8) ((((((triple3 triple8) -> rule6)) -> rule4) ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7)) -> rule5)) -> rule1))] Bob is quiet.[(triple7 OR ((triple4) -> rule8) OR ((((triple5) -> rule4)) -> rule8) OR ((((((triple3 triple8) -> rule6)) -> rule4)) -> rule8))] Bob is smart.[(triple8 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple5) -> rule4)) -> rule7) OR ((((triple4) -> rule8) triple4) -> rule7) OR ((((triple4) -> rule8) ((triple5) -> rule4)) -> rule7) OR ((triple7 ((((triple2 triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule4)) -> rule8) triple4) -> rule7) OR ((((triple4) -> rule8) ((((triple2 triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule7) OR ((((((triple5) -> rule4)) -> rule8) ((((triple2 triple7) -> rule3)) -> rule4)) -> rule7) OR ((triple7 ((((((triple3) -> rule2) triple7) -> rule3)) -> rule4)) -> rule7) OR ((((triple4) -> rule8) ((((((triple3) -> rule2) triple7) -> rule3)) -> rule4)) -> rule7) OR ((((((triple5) -> rule4)) -> rule8) ((((((triple3) -> rule2) triple7) -> rule3)) -> rule4)) -> rule7))] Fiona is blue.[(triple9)] Fiona is quiet.[(triple10)] Gary is blue.[(triple11)] Gary is nice.[(triple12)] @1: Anne is furry.[(((triple1) -> rule4))] Fiona is big.[(((triple9) -> rule2))] Gary is big.[(((triple11) -> rule2))] @2: Anne is quiet.[(((((triple1) -> rule4)) -> rule8))] Fiona is green.[(((((triple9) -> rule2) triple10) -> rule3))] Fiona is nice.[(((triple10 ((triple9) -> rule2)) -> rule1))] @3: Anne is smart.[(((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7))] Fiona is furry.[(((((((triple9) -> rule2) triple10) -> rule3)) -> rule4))] @4: Anne is big.[(((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule5))] Fiona is smart.[(((triple10 ((((((triple9) -> rule2) triple10) -> rule3)) -> rule4)) -> rule7))] @5: Anne is nice.[(((((((triple1) -> rule4)) -> rule8) ((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule7)) -> rule5)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple2
((triple3) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 triple8) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 ((triple7 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple5) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple5) -> (rule4 % int3)) ((triple7 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple4 ((triple7 ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple4 ((((triple4) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple3 triple8) -> (rule6 % int3))) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple4 ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple5) -> (rule4 % int3)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple5) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple5) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3)) ((triple5) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int3)) ((triple7 ((triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int3)) ((triple5) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple4 ((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple4 ((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple5) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple5) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple5) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple5) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple5) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is furry.
("Bob" "is" "furry" "+")
triple4
((triple5) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((triple2 triple7) -> (rule3 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple3 triple8) -> (rule6 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple3) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
triple5
((triple2 triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple3 triple8) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple2 ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((triple3 ((triple7 triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3) -> (rule2 % int2)) triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple4 triple8) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple3) -> (rule2 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple4 triple8) -> (rule5 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 ((((triple4) -> (rule8 % int3)) triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple4 ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((triple4 ((triple7 triple4) -> (rule7 % int4))) -> (rule5 % int3)) ((triple4) -> (rule8 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple4 ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4 ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2)) ((triple4) -> (rule8 % int4))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
triple6
((triple7 triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple7 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((triple7 ((triple4 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple4) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple4) -> (rule8 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple7 ((triple4 ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple7 ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((triple7 ((((triple5) -> (rule4 % int4)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple4) -> (rule8 % int4)) ((triple4 ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4) -> (rule8 % int4)) ((((triple5) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((triple4) -> (rule8 % int5)) ((((triple5) -> (rule4 % int4)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule4 % int4)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple7 ((triple4 ((triple7 ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple7 ((triple4 ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((triple7 ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule8 % int2)) triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((triple7 ((triple4 ((((triple4) -> (rule8 % int5)) ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple7 ((((triple5) -> (rule4 % int4)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple7 ((((triple5) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple7 ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple4) -> (rule8 % int5)) ((triple4 ((triple7 ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule8 % int4)) ((triple4 ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple4) -> (rule8 % int5)) ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int3)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((triple4 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple7 ((((triple5) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple7 ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple7 ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple4) -> (rule8 % int5)) ((triple4 ((((triple4) -> (rule8 % int5)) ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule8 % int5)) ((((triple5) -> (rule4 % int4)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule8 % int5)) ((((triple5) -> (rule4 % int4)) ((((triple4) -> (rule8 % int5)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule8 % int6)) ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((triple7 ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3 triple8) -> (rule6 % int3))) -> (rule4 % int5)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple5) -> (rule4 % int4)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple7 ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple4) -> (rule8 % int5)) ((((triple5) -> (rule4 % int4)) ((((triple4) -> (rule8 % int5)) ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule8 % int6)) ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((triple7 ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int6)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((triple7 ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int6)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((triple7 ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule8 % int3)) ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) triple8) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple4) -> (rule8 % int6)) ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((triple4) -> (rule8 % int6)) ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int6)) ((triple7 ((triple5) -> (rule4 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int6)) ((((triple4) -> (rule8 % int5)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((triple7 ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((triple7 triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int6)) ((((triple4) -> (rule8 % int5)) ((triple5) -> (rule4 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((triple7 ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((triple4) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((triple7 ((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple7 ((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple7 ((((triple5) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((triple4) -> (rule8 % int5)) ((triple4 ((((((triple5) -> (rule4 % int4))) -> (rule8 % int5)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((triple7 ((((triple5) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple7 ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple4) -> (rule8 % int5)) ((triple4 ((((((triple5) -> (rule4 % int4))) -> (rule8 % int5)) ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule8 % int5)) ((((triple5) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int5)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((triple7 ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple4) -> (rule8 % int5)) ((((triple5) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int5)) ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((triple4) -> (rule8 % int6)) ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int6)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple4) -> (rule8 % int6)) ((((((triple3 triple8) -> (rule6 % int5))) -> (rule4 % int4)) ((((((triple5) -> (rule4 % int4))) -> (rule8 % int6)) ((triple5) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int6)) ((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((triple4 ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) ((((((triple3 triple8) -> (rule6 % int4))) -> (rule4 % int6)) ((((((triple5) -> (rule4 % int6))) -> (rule8 % int5)) ((triple5) -> (rule4 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is furry.
("Bob" "is" "furry" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple5) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3 triple8) -> (rule6 % int6))) -> (rule4 % int5)) ((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((triple5) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
((triple4) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((((triple3 triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple8
((triple7 triple4) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple7 ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
((((triple4) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
((((triple4) -> (rule8 % int3)) ((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((triple7 ((((triple2 triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2)) triple4) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((triple4) -> (rule8 % int4)) ((((triple2 triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple5) -> (rule4 % int3))) -> (rule8 % int2)) ((triple5) -> (rule4 % int3))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
((((((triple5) -> (rule4 % int4))) -> (rule8 % int3)) ((((triple2 triple7) -> (rule3 % int2))) -> (rule4 % int4))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
((triple7 ((((((triple3) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple4) -> (rule8 % int5)) ((((((triple3) -> (rule2 % int4)) triple7) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((triple5) -> (rule4 % int5))) -> (rule8 % int4)) ((((((triple3) -> (rule2 % int3)) triple7) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple9) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple11) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1) -> (rule4 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple10 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
((((((triple1) -> (rule4 % int3))) -> (rule8 % int2)) ((triple1) -> (rule4 % int3))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple9) -> (rule2 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule4 % int4)) ((((((triple1) -> (rule4 % int4))) -> (rule8 % int3)) ((triple1) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple10 ((((((triple9) -> (rule2 % int4)) triple10) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple1) -> (rule4 % int5))) -> (rule8 % int4)) ((((triple1) -> (rule4 % int5)) ((((((triple1) -> (rule4 % int5))) -> (rule8 % int4)) ((triple1) -> (rule4 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5