Bob is kind. Bob is quiet. Bob is smart. Charlie is green. Dave is green. Dave is quiet. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is smart. All smart, kind people are young. If Bob is furry then Bob is kind. Quiet, smart people are kind. Furry, kind people are green. If Dave is green and Dave is blue then Dave is quiet. If someone is furry then they are quiet. Quiet, green people are smart. If someone is furry then they are quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All smart, kind people are young.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Bob is furry then Bob is kind.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "kind" "+"))
Quiet, smart people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Furry, kind people are green.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Dave is green and Dave is blue then Dave is quiet.
((("Dave" "is" "green" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "quiet" "+"))
If someone is furry then they are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Quiet, green people are smart.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If someone is furry then they are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Erin is blue.
True
1
proof
[(triple7)]
("Erin" "is" "blue" "+")
triple7
Bob is not kind.
False
1
inv-proof
[(triple1 OR ((triple2 triple3) -> rule3))]
("Bob" "is" "kind" "-")
triple1
((triple2 triple3) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Erin is young.
True
3
proof
[(((triple12 triple10) -> rule1) OR ((triple12 ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) triple10) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1))]
("Erin" "is" "young" "+")
((triple12 triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple12 ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple11 triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11 triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple12 ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple12 ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple12 ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple11 ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple12 ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((triple12 ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is not young.
False
3
inv-proof
[(((triple12 triple10) -> rule1) OR ((triple12 ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) triple10) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1))]
("Erin" "is" "young" "-")
((triple12 triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple12 ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple11 triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11 triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple12 ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple12 ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple12 ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple11 ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple12 ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((triple12 ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Dave is kind.
True
5
proof
[(((triple6 ((triple6 triple5) -> rule7)) -> rule3))]
("Dave" "is" "kind" "+")
((triple6 ((triple6 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((triple6 ((triple6 triple5) -> rule7)) -> rule3))]
("Dave" "is" "kind" "-")
((triple6 ((triple6 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
True
9
proof
[(((((triple6 triple5) -> rule7) ((triple6 ((triple6 triple5) -> rule7)) -> rule3)) -> rule1))]
("Dave" "is" "young" "+")
((((triple6 triple5) -> (rule7 % int3)) ((triple6 ((triple6 triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is not young.
False
9
inv-proof
[(((((triple6 triple5) -> rule7) ((triple6 ((triple6 triple5) -> rule7)) -> rule3)) -> rule1))]
("Dave" "is" "young" "-")
((((triple6 triple5) -> (rule7 % int3)) ((triple6 ((triple6 triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is young.
Unknown
rconc
[@3: Charlie is young.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule6 <- FAIL)]]
("Charlie" "is" "young" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "green" "-")
Charlie is smart.
Unknown
rconc
[@2: Charlie is smart.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Charlie" "is" "smart" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is kind.[(triple1 OR ((triple2 triple3) -> rule3))] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Charlie is green.[(triple4)] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Erin is blue.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9 OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple11 triple12) -> rule3)) -> rule4) OR ((triple8 ((((triple8) -> rule6) triple12) -> rule3)) -> rule4) OR ((triple8 ((((triple8) -> rule8) triple12) -> rule3)) -> rule4))] Erin is kind.[(triple10 OR ((triple11 triple12) -> rule3) OR ((triple11 ((triple11 triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule6) triple12) -> rule3) OR ((((triple8) -> rule8) triple12) -> rule3) OR ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3) OR ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3) OR ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3) OR ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3))] Erin is quiet.[(triple11 OR ((triple8) -> rule6) OR ((triple8) -> rule8))] Erin is smart.[(triple12 OR ((triple11 triple9) -> rule7) OR ((triple11 ((triple8 triple10) -> rule4)) -> rule7) OR ((((triple8) -> rule6) triple9) -> rule7) OR ((((triple8) -> rule8) triple9) -> rule7) OR ((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) OR ((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7))] @1: Bob is young.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple2 triple3) -> rule3)) -> rule1))] Dave is smart.[(((triple6 triple5) -> rule7))] Erin is young.[(((triple12 triple10) -> rule1) OR ((triple12 ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) triple10) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) triple10) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 triple12) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) triple12) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((triple11 triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((triple12 ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((triple11 ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) triple9) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((triple11 ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule6) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule6) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule6) triple9) -> rule7)) -> rule3)) -> rule1) OR ((((((triple8) -> rule8) ((triple8 triple10) -> rule4)) -> rule7) ((((triple8) -> rule8) ((((triple8) -> rule8) triple9) -> rule7)) -> rule3)) -> rule1))] @2: Dave is kind.[(((triple6 ((triple6 triple5) -> rule7)) -> rule3))] @3: Dave is young.[(((((triple6 triple5) -> rule7) ((triple6 ((triple6 triple5) -> rule7)) -> rule3)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
((triple2 triple3) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
((triple8 triple10) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((triple8 ((triple11 triple12) -> (rule3 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((triple8 ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple8 ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple10
((triple11 triple12) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple11 ((triple11 triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple8) -> (rule6 % int2)) triple12) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule8 % int2)) triple12) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple11 triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple11 ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
((triple8) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple8) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple12
((triple11 triple9) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple11 ((triple8 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((triple8) -> (rule6 % int2)) triple9) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule8 % int2)) triple9) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple8) -> (rule6 % int3)) ((triple8 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple8) -> (rule8 % int3)) ((triple8 triple10) -> (rule4 % int2))) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((triple6 triple5) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple12 triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple12 ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple11 triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
((((triple11 triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple12 ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((triple12 ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple12 ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((triple11 ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple12 ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) ((triple8 triple10) -> (rule4 % int3))) -> (rule7 % int2)) triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((triple11 triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) triple12) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((triple11 triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((triple12 ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple12 ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 triple9) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((triple11 ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule6 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((triple11 ((triple8 triple10) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple9) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
int5
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule6 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule6 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3)) ((((triple8) -> (rule8 % int4)) ((((triple8) -> (rule8 % int4)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((triple11 ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule6 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule6 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule6 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((triple8) -> (rule8 % int5)) ((triple8 triple10) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule8 % int5)) ((((triple8) -> (rule8 % int5)) triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((triple6 ((triple6 triple5) -> (rule7 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple6 triple5) -> (rule7 % int3)) ((triple6 ((triple6 triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3