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