Anne is furry. Anne is smart. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. Harry is big. Harry is blue. Harry is furry. Harry is nice. Harry is round. Harry is smart. Harry is white. If something is smart then it is big. If Anne is nice and Anne is smart then Anne is blue. If something is white then it is blue. If something is blue and round then it is smart. All smart, big things are white. All white, blue things are furry. Blue things are nice. All nice, big things are furry.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is smart then it is big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
If Anne is nice and Anne is smart then Anne is blue.
((("Anne" "is" "nice" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "blue" "+"))
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is blue and round then it is smart.
((("something" "is" "blue" "+") ("something" "is" "round" "+")) -> ("something" "is" "smart" "+"))
All smart, big things are white.
((("something" "is" "smart" "+") ("something" "is" "big" "+")) -> ("something" "is" "white" "+"))
All white, blue things are furry.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
All nice, big things are furry.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Fiona is not smart.
False
1
inv-proof
[(triple8 OR ((triple4 triple7) -> rule4) OR ((((triple9) -> rule3) triple7) -> rule4))]
("Fiona" "is" "smart" "-")
triple8
((triple4 triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Anne is big.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "big" "+")
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "big" "-")
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule5))]
("Anne" "is" "white" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is not white.
False
4
inv-proof
[(((triple2 ((triple2) -> rule1)) -> rule5))]
("Anne" "is" "white" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
True
5
proof
[(((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3))]
("Anne" "is" "blue" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is not blue.
False
5
inv-proof
[(((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3))]
("Anne" "is" "blue" "-")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
@0: Anne is furry.[(triple1 OR ((((triple2 ((triple2) -> rule1)) -> rule5) ((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((triple2) -> rule1)) -> rule8))] Anne is smart.[(triple2)] Fiona is big.[(triple3 OR ((triple8) -> rule1) OR ((((triple4 triple7) -> rule4)) -> rule1) OR ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1))] Fiona is blue.[(triple4 OR ((triple9) -> rule3) OR ((((triple8 triple3) -> rule5)) -> rule3) OR ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3))] Fiona is furry.[(triple5 OR ((triple6 triple3) -> rule8) OR ((triple9 triple4) -> rule6) OR ((triple6 ((triple8) -> rule1)) -> rule8) OR ((triple9 ((triple9) -> rule3)) -> rule6) OR ((((triple4) -> rule7) triple3) -> rule8) OR ((((triple8 triple3) -> rule5) triple4) -> rule6) OR ((((triple4) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple8 triple3) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((triple6 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((triple9 ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple9) -> rule3)) -> rule7) triple3) -> rule8) OR ((((triple8 ((triple8) -> rule1)) -> rule5) triple4) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) triple4) -> rule6) OR ((((triple4) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((triple9) -> rule3)) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple8 triple3) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((triple8 ((triple8) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) triple4) -> rule6) OR ((((((triple9) -> rule3)) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((triple8 ((triple8) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((triple9 ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) triple3) -> rule8) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) triple4) -> rule6) OR ((((triple4) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((triple8 triple3) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) triple4) -> rule6) OR ((((((triple9) -> rule3)) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((triple8 ((triple8) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) triple3) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8) OR ((((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 triple3) -> rule5)) -> rule3)) -> rule6) OR ((((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) ((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) triple3) -> rule8) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((triple8) -> rule1)) -> rule8) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((((triple9) -> rule3) triple7) -> rule4)) -> rule1)) -> rule8))] Fiona is nice.[(triple6 OR ((triple4) -> rule7) OR ((((triple9) -> rule3)) -> rule7) OR ((((((triple8 triple3) -> rule5)) -> rule3)) -> rule7) OR ((((((triple8 ((triple8) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Fiona is round.[(triple7)] Fiona is smart.[(triple8 OR ((triple4 triple7) -> rule4) OR ((((triple9) -> rule3) triple7) -> rule4))] Fiona is white.[(triple9 OR ((triple8 triple3) -> rule5) OR ((triple8 ((triple8) -> rule1)) -> rule5) OR ((((triple4 triple7) -> rule4) triple3) -> rule5) OR ((((triple4 triple7) -> rule4) ((triple8) -> rule1)) -> rule5) OR ((triple8 ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5) OR ((((triple4 triple7) -> rule4) ((((triple4 triple7) -> rule4)) -> rule1)) -> rule5))] Harry is big.[(triple10 OR ((triple15) -> rule1) OR ((((triple11 triple14) -> rule4)) -> rule1) OR ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1))] Harry is blue.[(triple11 OR ((triple16) -> rule3) OR ((((triple15 triple10) -> rule5)) -> rule3) OR ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3))] Harry is furry.[(triple12 OR ((triple13 triple10) -> rule8) OR ((triple16 triple11) -> rule6) OR ((triple13 ((triple15) -> rule1)) -> rule8) OR ((triple16 ((triple16) -> rule3)) -> rule6) OR ((((triple11) -> rule7) triple10) -> rule8) OR ((((triple15 triple10) -> rule5) triple11) -> rule6) OR ((((triple11) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((triple15 triple10) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((triple13 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((triple16 ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple16) -> rule3)) -> rule7) triple10) -> rule8) OR ((((triple15 ((triple15) -> rule1)) -> rule5) triple11) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) triple11) -> rule6) OR ((((triple11) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((triple16) -> rule3)) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((triple15 triple10) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((triple15 ((triple15) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) triple11) -> rule6) OR ((((((triple16) -> rule3)) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((triple15 ((triple15) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple13 ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((triple16 ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) triple10) -> rule8) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) triple11) -> rule6) OR ((((triple11) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((triple15 triple10) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) triple11) -> rule6) OR ((((((triple16) -> rule3)) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((triple15 ((triple15) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) triple10) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((triple16) -> rule3)) -> rule6) OR ((((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8) OR ((((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) ((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) triple10) -> rule8) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((triple15) -> rule1)) -> rule8) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7) ((((((triple16) -> rule3) triple14) -> rule4)) -> rule1)) -> rule8))] Harry is nice.[(triple13 OR ((triple11) -> rule7) OR ((((triple16) -> rule3)) -> rule7) OR ((((((triple15 triple10) -> rule5)) -> rule3)) -> rule7) OR ((((((triple15 ((triple15) -> rule1)) -> rule5)) -> rule3)) -> rule7))] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple11 triple14) -> rule4) OR ((((triple16) -> rule3) triple14) -> rule4))] Harry is white.[(triple16 OR ((triple15 triple10) -> rule5) OR ((triple15 ((triple15) -> rule1)) -> rule5) OR ((((triple11 triple14) -> rule4) triple10) -> rule5) OR ((((triple11 triple14) -> rule4) ((triple15) -> rule1)) -> rule5) OR ((triple15 ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5) OR ((((triple11 triple14) -> rule4) ((((triple11 triple14) -> rule4)) -> rule1)) -> rule5))] @1: Anne is big.[(((triple2) -> rule1))] @2: Anne is white.[(((triple2 ((triple2) -> rule1)) -> rule5))] @3: Anne is blue.[(((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3))] @4: Anne is nice.[(((((((triple2 ((triple2) -> rule1)) -> rule5)) -> rule3)) -> rule7))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((((triple2 ((triple2) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple2 ((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2 ((triple2) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple2) -> (rule1 % int5))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
((triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple4 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple9) -> (rule3 % int3)) triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple9) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple8 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple6 triple3) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple9 triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple6 ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple9 ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple4) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple8 triple3) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple4) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple8 triple3) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple6 ((((triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((triple9 ((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple9) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple8 ((triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple4 triple7) -> (rule4 % int3)) triple3) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple4) -> (rule7 % int4)) ((((triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple9) -> (rule3 % int4))) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple8 triple3) -> (rule5 % int3)) ((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple4 triple7) -> (rule4 % int4)) triple3) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple4 triple7) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple9) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple4 triple7) -> (rule4 % int4)) triple3) -> (rule5 % int3)) ((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple4 triple7) -> (rule4 % int5)) ((triple8) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple4 triple7) -> (rule4 % int5)) ((triple8) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((triple6 ((((((triple9) -> (rule3 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple9 ((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple8 triple3) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple8 ((((triple4 triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((triple4) -> (rule7 % int5)) ((((((triple9) -> (rule3 % int4)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((triple8 triple3) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple8) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple8 triple3) -> (rule5 % int4)) ((((triple8 ((triple8) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple8 ((((triple4 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple4 triple7) -> (rule4 % int4)) ((((triple4 triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple4) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((triple9) -> (rule3 % int5))) -> (rule7 % int4)) ((((((triple9) -> (rule3 % int5)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple8 triple3) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple8 ((((triple4 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple4 triple7) -> (rule4 % int5)) triple3) -> (rule5 % int4)) ((((triple8 ((triple8) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple4 triple7) -> (rule4 % int5)) ((((triple4 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple9) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple8 triple3) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((((triple9) -> (rule3 % int5)) triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
int6
((((triple8 ((((triple4 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple4 triple7) -> (rule4 % int5)) ((triple8) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple4 triple7) -> (rule4 % int5)) ((((triple4 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((triple4 triple7) -> (rule4 % int5)) ((((triple4 triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
int5
((((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple8 ((triple8) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple8) -> (rule1 % int5))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple8 ((triple8) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple4 triple7) -> (rule4 % int2))) -> (rule1 % int6))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
((((((((triple8 ((triple8) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((triple9) -> (rule3 % int4)) triple7) -> (rule4 % int2))) -> (rule1 % int6))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is big.
("Fiona" "is" "big" "+")
int6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple6
((triple4) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple8 triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((((triple8 ((triple8) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple4 triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple9) -> (rule3 % int2)) triple7) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((triple8 triple3) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((triple8 ((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple4 triple7) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple4 triple7) -> (rule4 % int3)) ((triple8) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((triple8 ((((triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((triple4 triple7) -> (rule4 % int3)) ((((triple4 triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple15) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple11 triple14) -> (rule4 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple16) -> (rule3 % int3)) triple14) -> (rule4 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
triple11
((triple16) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple15 triple10) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple15 ((triple15) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple12
((triple13 triple10) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple16 triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple13 ((triple15) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((triple16 ((triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple11) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple15 triple10) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple11) -> (rule7 % int3)) ((triple15) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple15 triple10) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((triple13 ((((triple11 triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple16 ((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple16) -> (rule3 % int3))) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple15 ((triple15) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple11 triple14) -> (rule4 % int3)) triple10) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple11) -> (rule7 % int4)) ((((triple11 triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple16) -> (rule3 % int4))) -> (rule7 % int3)) ((triple15) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple15 triple10) -> (rule5 % int3)) ((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple11 triple14) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple11 triple14) -> (rule4 % int4)) ((triple15) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple16) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple11 triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple11 triple14) -> (rule4 % int4)) triple10) -> (rule5 % int3)) ((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple11 triple14) -> (rule4 % int5)) ((triple15) -> (rule1 % int4))) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple14) -> (rule4 % int5)) ((triple15) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple13 ((((((triple16) -> (rule3 % int4)) triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((triple16 ((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple15 triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple15 ((((triple11 triple14) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple11) -> (rule7 % int5)) ((((((triple16) -> (rule3 % int4)) triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((triple15 triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple15) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
((((triple15 triple10) -> (rule5 % int4)) ((((triple15 ((triple15) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
((((triple15 ((((triple11 triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple14) -> (rule4 % int4)) ((((triple11 triple14) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple11) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple16) -> (rule3 % int5))) -> (rule7 % int4)) ((((((triple16) -> (rule3 % int5)) triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple15 triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple11 triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
int6
((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple15 ((((triple11 triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple14) -> (rule4 % int5)) triple10) -> (rule5 % int4)) ((((triple15 ((triple15) -> (rule1 % int3))) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple14) -> (rule4 % int5)) ((((triple11 triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((triple16) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((((triple16) -> (rule3 % int5)) triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
int6
((((triple15 ((((triple11 triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple14) -> (rule4 % int5)) ((triple15) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple14) -> (rule4 % int5)) ((((triple11 triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple11 triple14) -> (rule4 % int5)) ((((triple11 triple14) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple15 ((triple15) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple10) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple15 ((triple15) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple15) -> (rule1 % int5))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((triple15 ((triple15) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple11 triple14) -> (rule4 % int2))) -> (rule1 % int6))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
((((((((triple15 ((triple15) -> (rule1 % int6))) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((triple16) -> (rule3 % int4)) triple14) -> (rule4 % int2))) -> (rule1 % int6))) -> (rule8 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is big.
("Harry" "is" "big" "+")
int6
Harry is nice.
("Harry" "is" "nice" "+")
triple13
((triple11) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((((triple15 triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple15 ((triple15) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
((triple11 triple14) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple16) -> (rule3 % int2)) triple14) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple16
((triple15 triple10) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple15 ((triple15) -> (rule1 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple11 triple14) -> (rule4 % int2)) triple10) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple11 triple14) -> (rule4 % int3)) ((triple15) -> (rule1 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((triple15 ((((triple11 triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple11 triple14) -> (rule4 % int3)) ((((triple11 triple14) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
((triple2) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
((((triple2 ((triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((((((triple2 ((triple2) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4