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