Erin is cold. Erin is furry. Erin is quiet. Erin is young. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is young. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is round. Harry is young. Cold, quiet things are red. If Harry is furry then Harry is round. If Harry is furry and Harry is kind then Harry is red. If something is cold then it is furry. All kind things are young. All quiet, young things are red. If something is round then it is quiet. All round, furry things are kind.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
Cold, quiet things are red.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If Harry is furry then Harry is round.
((("Harry" "is" "furry" "+")) -> ("Harry" "is" "round" "+"))
If Harry is furry and Harry is kind then Harry is red.
((("Harry" "is" "furry" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "red" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
All kind things are young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All quiet, young things are red.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is round then it is quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
All round, furry things are kind.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Gary is young.
True
1
proof
[(triple9 OR ((triple6) -> rule5) OR ((((triple8 triple5) -> rule8)) -> rule5))]
("Gary" "is" "young" "+")
triple9
((triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple8 triple5) -> (rule8 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not furry.
False
1
inv-proof
[(triple5)]
("Gary" "is" "furry" "-")
triple5
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple1) -> rule4))] Erin is quiet.[(triple3)] Erin is young.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6 OR ((triple8 triple5) -> rule8))] Gary is red.[(triple7 OR ((((triple8) -> rule7) triple9) -> rule6) OR ((((triple8) -> rule7) ((triple6) -> rule5)) -> rule6) OR ((((triple8) -> rule7) ((((triple8 triple5) -> rule8)) -> rule5)) -> rule6))] Gary is round.[(triple8)] Gary is young.[(triple9 OR ((triple6) -> rule5) OR ((((triple8 triple5) -> rule8)) -> rule5))] Harry is cold.[(triple10)] Harry is furry.[(triple11 OR ((triple10) -> rule4))] Harry is kind.[(triple12 OR ((triple15 triple11) -> rule8) OR ((triple15 ((triple10) -> rule4)) -> rule8) OR ((((triple11) -> rule2) triple11) -> rule8) OR ((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8) OR ((((((triple10) -> rule4)) -> rule2) triple11) -> rule8) OR ((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8))] Harry is quiet.[(triple13 OR ((triple15) -> rule7) OR ((((triple11) -> rule2)) -> rule7) OR ((((((triple10) -> rule4)) -> rule2)) -> rule7))] Harry is red.[(triple14 OR ((triple10 triple13) -> rule1) OR ((triple11 triple12) -> rule3) OR ((triple13 triple16) -> rule6) OR ((triple10 ((triple15) -> rule7)) -> rule1) OR ((triple11 ((triple15 triple11) -> rule8)) -> rule3) OR ((triple13 ((triple12) -> rule5)) -> rule6) OR ((((triple10) -> rule4) triple12) -> rule3) OR ((((triple15) -> rule7) triple16) -> rule6) OR ((((triple10) -> rule4) ((triple15 triple11) -> rule8)) -> rule3) OR ((((triple15) -> rule7) ((triple12) -> rule5)) -> rule6) OR ((triple10 ((((triple11) -> rule2)) -> rule7)) -> rule1) OR ((triple11 ((triple15 ((triple10) -> rule4)) -> rule8)) -> rule3) OR ((triple11 ((((triple11) -> rule2) triple11) -> rule8)) -> rule3) OR ((triple13 ((((triple15 triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7) triple16) -> rule6) OR ((triple11 ((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule3) OR ((((triple10) -> rule4) ((triple15 ((triple10) -> rule4)) -> rule8)) -> rule3) OR ((((triple10) -> rule4) ((((triple11) -> rule2) triple11) -> rule8)) -> rule3) OR ((((triple15) -> rule7) ((((triple15 triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7) ((triple12) -> rule5)) -> rule6) OR ((((triple10) -> rule4) ((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule3) OR ((((((triple11) -> rule2)) -> rule7) ((((triple15 triple11) -> rule8)) -> rule5)) -> rule6) OR ((triple10 ((((((triple10) -> rule4)) -> rule2)) -> rule7)) -> rule1) OR ((triple11 ((((((triple10) -> rule4)) -> rule2) triple11) -> rule8)) -> rule3) OR ((triple13 ((((triple15 ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((triple13 ((((((triple11) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) triple16) -> rule6) OR ((triple11 ((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule3) OR ((triple13 ((((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule2) triple11) -> rule8)) -> rule3) OR ((((triple15) -> rule7) ((((triple15 ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((triple15) -> rule7) ((((((triple11) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) ((triple12) -> rule5)) -> rule6) OR ((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule3) OR ((((triple15) -> rule7) ((((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7) ((((triple15 ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7) ((((((triple11) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) ((((triple15 triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7) ((((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) ((((triple15 ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) ((((((triple11) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) ((((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((triple13 ((((((((triple10) -> rule4)) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((triple13 ((((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((triple15) -> rule7) ((((((((triple10) -> rule4)) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((triple15) -> rule7) ((((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7) ((((((((triple10) -> rule4)) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((triple11) -> rule2)) -> rule7) ((((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) ((((((((triple10) -> rule4)) -> rule2) triple11) -> rule8)) -> rule5)) -> rule6) OR ((((((((triple10) -> rule4)) -> rule2)) -> rule7) ((((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5)) -> rule6))] Harry is round.[(triple15 OR ((triple11) -> rule2) OR ((((triple10) -> rule4)) -> rule2))] Harry is young.[(triple16 OR ((triple12) -> rule5) OR ((((triple15 triple11) -> rule8)) -> rule5) OR ((((triple15 ((triple10) -> rule4)) -> rule8)) -> rule5) OR ((((((triple11) -> rule2) triple11) -> rule8)) -> rule5) OR ((((((triple11) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule2) triple11) -> rule8)) -> rule5) OR ((((((((triple10) -> rule4)) -> rule2) ((triple10) -> rule4)) -> rule8)) -> rule5))] @1: Erin is red.[(((triple1 triple3) -> rule1) OR ((triple3 triple4) -> rule6))] Gary is quiet.[(((triple8) -> rule7))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
((triple1) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((triple8 triple5) -> (rule8 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple7
((((triple8) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple8) -> (rule7 % int3)) ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple8) -> (rule7 % int4)) ((((triple8 triple5) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
((triple6) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple8 triple5) -> (rule8 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
((triple10) -> (rule4 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple15 triple11) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple15 ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple11) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((triple11) -> (rule2 % int3)) ((triple10) -> (rule4 % int2))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple10) -> (rule4 % int3))) -> (rule2 % int2)) triple11) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple10) -> (rule4 % int3))) -> (rule2 % int2)) ((triple10) -> (rule4 % int3))) -> (rule8 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple13
((triple15) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
((((((triple10) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple14
((triple10 triple13) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple11 triple12) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple13 triple16) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple10 ((triple15) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple11 ((triple15 triple11) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple13 ((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple10) -> (rule4 % int2)) triple12) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple15) -> (rule7 % int2)) triple16) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple10) -> (rule4 % int3)) ((triple15 triple11) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple15) -> (rule7 % int3)) ((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple10 ((((triple11) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple11 ((triple15 ((triple10) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((triple11 ((((triple11) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple13 ((((triple15 triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple11) -> (rule2 % int3))) -> (rule7 % int2)) triple16) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple11 ((((triple11) -> (rule2 % int4)) ((triple10) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule4 % int3)) ((triple15 ((triple10) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((triple10) -> (rule4 % int4)) ((((triple11) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple15) -> (rule7 % int4)) ((((triple15 triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((triple11) -> (rule2 % int4))) -> (rule7 % int3)) ((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((triple10) -> (rule4 % int4)) ((((triple11) -> (rule2 % int3)) ((triple10) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((triple11) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple15 triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((triple10 ((((((triple10) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((triple11 ((((((triple10) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((triple13 ((((triple15 ((triple10) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((triple13 ((((((triple11) -> (rule2 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple10) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule7 % int2)) triple16) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((triple11 ((((((triple10) -> (rule4 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((triple13 ((((((triple11) -> (rule2 % int5)) ((triple10) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((triple10) -> (rule4 % int4)) ((((((triple10) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple15) -> (rule7 % int5)) ((((triple15 ((triple10) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple15) -> (rule7 % int5)) ((((((triple11) -> (rule2 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((((triple10) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule7 % int3)) ((triple12) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple10) -> (rule4 % int4)) ((((((triple10) -> (rule4 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((triple15) -> (rule7 % int6)) ((((((triple11) -> (rule2 % int5)) ((triple10) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((triple11) -> (rule2 % int6))) -> (rule7 % int5)) ((((triple15 ((triple10) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
((((((triple11) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple11) -> (rule2 % int5)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple15 triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((triple11) -> (rule2 % int6))) -> (rule7 % int5)) ((((((triple11) -> (rule2 % int6)) ((triple10) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((triple15 ((triple10) -> (rule4 % int6))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple11) -> (rule2 % int5)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((((triple11) -> (rule2 % int5)) ((triple10) -> (rule4 % int6))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((triple13 ((((((((triple10) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((triple13 ((((((((triple10) -> (rule4 % int5))) -> (rule2 % int4)) ((triple10) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((triple15) -> (rule7 % int6)) ((((((((triple10) -> (rule4 % int5))) -> (rule2 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((triple15) -> (rule7 % int6)) ((((((((triple10) -> (rule4 % int5))) -> (rule2 % int4)) ((triple10) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is quiet.
("Harry" "is" "quiet" "+")
int6
((((((triple11) -> (rule2 % int6))) -> (rule7 % int5)) ((((((((triple10) -> (rule4 % int4))) -> (rule2 % int6)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
((((((triple11) -> (rule2 % int6))) -> (rule7 % int5)) ((((((((triple10) -> (rule4 % int4))) -> (rule2 % int6)) ((triple10) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is round.
("Harry" "is" "round" "+")
int6
((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5)) triple11) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule7 % int4)) ((((((((triple10) -> (rule4 % int6))) -> (rule2 % int5)) ((triple10) -> (rule4 % int6))) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
int6
Harry is round.
("Harry" "is" "round" "+")
triple15
((triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple12) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple15 triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple15 ((triple10) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple11) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((((((triple11) -> (rule2 % int4)) ((triple10) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
((((((((triple10) -> (rule4 % int4))) -> (rule2 % int3)) triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple10) -> (rule4 % int4))) -> (rule2 % int3)) ((triple10) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Erin is red.
("Erin" "is" "red" "+")
((triple1 triple3) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple3 triple4) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple8) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1