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