Bob is big. Bob is quiet. Bob is young. Dave is big. Dave is quiet. Erin is quiet. Erin is young. Harry is big. Harry is green. Harry is nice. Harry is quiet. Quiet, nice people are red. If someone is quiet then they are young. Red people are quiet. If someone is kind and quiet then they are green. Red, nice people are kind. Young people are big. Kind, young people are green. Big, quiet people are nice. If someone is red and young then they are nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Quiet, nice people are red.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind and quiet then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "green" "+"))
Red, nice people are kind.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Kind, young people are green.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Big, quiet people are nice.
((("someone" "is" "big" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Dave is big.
True
1
proof
[(triple4 OR ((((triple5) -> rule2)) -> rule6))]
("Dave" "is" "big" "+")
triple4
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Harry is not nice.
False
1
inv-proof
[(triple10 OR ((triple8 triple11) -> rule8) OR ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8))]
("Harry" "is" "nice" "-")
triple10
((triple8 triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Bob is nice.
True
3
proof
[(((triple1 triple2) -> rule8) OR ((((triple3) -> rule6) triple2) -> rule8) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8))]
("Bob" "is" "nice" "+")
((triple1 triple2) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple3) -> (rule6 % int2)) triple2) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is not young.
False
2
inv-proof
[(((triple11) -> rule2))]
("Harry" "is" "young" "-")
((triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is kind.
True
5
proof
[(((((triple11 triple10) -> rule1) triple10) -> rule5) OR ((((triple11 triple10) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) OR ((((triple11 ((triple8 triple11) -> rule8)) -> rule1) triple10) -> rule5) OR ((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) OR ((((triple11 triple10) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) OR ((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) OR ((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) triple10) -> rule5) OR ((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) OR ((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5))]
("Harry" "is" "kind" "+")
((((triple11 triple10) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple11 triple10) -> (rule1 % int3)) ((triple8 triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple11 ((triple8 triple11) -> (rule8 % int3))) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple11 ((triple8 triple11) -> (rule8 % int3))) -> (rule1 % int2)) ((triple8 triple11) -> (rule8 % int3))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple11 triple10) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple11 ((triple8 triple11) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule2 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int5))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple11 ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple11 ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule1 % int2)) ((triple8 triple11) -> (rule8 % int3))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple11 ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Bob is not red.
False
5
inv-proof
[(((triple2 ((triple1 triple2) -> rule8)) -> rule1) OR ((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) OR ((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1))]
("Bob" "is" "red" "-")
((triple2 ((triple1 triple2) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple2 ((((triple3) -> (rule6 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple2 ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Erin is red.
True
6
proof
[(((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) OR ((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1))]
("Erin" "is" "red" "+")
((triple6 ((((triple7) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple6 ((((((triple6) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is not red.
False
6
inv-proof
[(((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) OR ((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1))]
("Erin" "is" "red" "-")
((triple6 ((((triple7) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple6 ((((((triple6) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Dave is green.
True
11
proof
[(((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7))]
("Dave" "is" "green" "+")
((((((triple5 ((triple4 triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple5) -> (rule8 % int4))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple5 ((triple4 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple4 triple5) -> (rule8 % int5))) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple5 ((triple4 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple5) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int6))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((((triple5 ((triple4 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple5) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int6))) -> (rule5 % int2)) ((triple5) -> (rule2 % int4))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple5) -> (rule8 % int4))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple5) -> (rule8 % int4))) -> (rule5 % int2)) ((triple5) -> (rule2 % int6))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int2)) ((triple5) -> (rule2 % int6))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
Bob is not green.
False
11
inv-proof
[(((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7))]
("Bob" "is" "green" "-")
((((((triple2 ((triple1 triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple2 ((triple1 triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple2 ((triple1 triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((triple1 triple2) -> (rule8 % int5))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((triple3) -> (rule6 % int4)) triple2) -> (rule8 % int6))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int6))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int6))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((triple1 triple2) -> (rule8 % int5))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int6))) -> (rule5 % int2)) ((triple2) -> (rule2 % int4))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) ((triple2) -> (rule2 % int3))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) ((triple2) -> (rule2 % int6))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) ((triple2) -> (rule2 % int6))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) ((triple2) -> (rule2 % int6))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Erin is green.
True
13
proof
[(((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7))]
("Erin" "is" "green" "+")
((((((triple6 ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6 ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) ((triple6) -> (rule2 % int3))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) ((triple6) -> (rule2 % int6))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) ((triple6) -> (rule2 % int6))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
Erin is not green.
False
13
inv-proof
[(((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7))]
("Erin" "is" "green" "-")
((((((triple6 ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6 ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) ((triple6) -> (rule2 % int3))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) ((triple6) -> (rule2 % int6))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) ((triple6) -> (rule2 % int6))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
@0: Bob is big.[(triple1 OR ((triple3) -> rule6) OR ((((triple2) -> rule2)) -> rule6))] Bob is quiet.[(triple2)] Bob is young.[(triple3 OR ((triple2) -> rule2))] Dave is big.[(triple4 OR ((((triple5) -> rule2)) -> rule6))] Dave is quiet.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7 OR ((triple6) -> rule2))] Harry is big.[(triple8 OR ((((triple11) -> rule2)) -> rule6))] Harry is green.[(triple9 OR ((((((triple11 triple10) -> rule1) triple10) -> rule5) triple11) -> rule4) OR ((((((triple11 triple10) -> rule1) triple10) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 triple10) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) triple11) -> rule4) OR ((((((triple11 triple10) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 ((triple8 triple11) -> rule8)) -> rule1) triple10) -> rule5) triple11) -> rule4) OR ((((((triple11 ((triple8 triple11) -> rule8)) -> rule1) triple10) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) triple11) -> rule4) OR ((((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 triple10) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) triple11) -> rule4) OR ((((((triple11 triple10) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) triple11) -> rule4) OR ((((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) triple10) -> rule5) triple11) -> rule4) OR ((((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) triple10) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) triple11) -> rule4) OR ((((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) ((triple11) -> rule2)) -> rule7) OR ((((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) triple11) -> rule4) OR ((((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) ((triple11) -> rule2)) -> rule7))] Harry is nice.[(triple10 OR ((triple8 triple11) -> rule8) OR ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8))] Harry is quiet.[(triple11)] @1: Bob is nice.[(((triple1 triple2) -> rule8) OR ((((triple3) -> rule6) triple2) -> rule8) OR ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8))] Dave is nice.[(((triple4 triple5) -> rule8) OR ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8))] Dave is young.[(((triple5) -> rule2))] Erin is big.[(((triple7) -> rule6) OR ((((triple6) -> rule2)) -> rule6))] Harry is red.[(((triple11 triple10) -> rule1) OR ((triple11 ((triple8 triple11) -> rule8)) -> rule1) OR ((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1))] Harry is young.[(((triple11) -> rule2))] @2: Bob is red.[(((triple2 ((triple1 triple2) -> rule8)) -> rule1) OR ((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) OR ((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1))] Dave is red.[(((triple5 ((triple4 triple5) -> rule8)) -> rule1) OR ((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1))] Erin is nice.[(((((triple7) -> rule6) triple6) -> rule8) OR ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8))] Harry is kind.[(((((triple11 triple10) -> rule1) triple10) -> rule5) OR ((((triple11 triple10) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) OR ((((triple11 ((triple8 triple11) -> rule8)) -> rule1) triple10) -> rule5) OR ((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) OR ((((triple11 triple10) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) OR ((((triple11 ((triple8 triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5) OR ((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) triple10) -> rule5) OR ((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((triple8 triple11) -> rule8)) -> rule5) OR ((((triple11 ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule1) ((((((triple11) -> rule2)) -> rule6) triple11) -> rule8)) -> rule5))] @3: Bob is kind.[(((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) OR ((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) OR ((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) OR ((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) OR ((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) OR ((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) OR ((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) OR ((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) OR ((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5))] Dave is kind.[(((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) OR ((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) OR ((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) OR ((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5))] Erin is red.[(((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) OR ((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1))] @4: Bob is green.[(((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((triple1 triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((triple3) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((triple1 triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((triple3) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple2) -> rule4) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) triple3) -> rule7) OR ((((((triple2 ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule1) ((((((triple2) -> rule2)) -> rule6) triple2) -> rule8)) -> rule5) ((triple2) -> rule2)) -> rule7))] Dave is green.[(((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((triple4 triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((triple4 triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) triple5) -> rule4) OR ((((((triple5 ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule1) ((((((triple5) -> rule2)) -> rule6) triple5) -> rule8)) -> rule5) ((triple5) -> rule2)) -> rule7))] Erin is kind.[(((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) OR ((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) OR ((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) OR ((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5))] @5: Erin is green.[(((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((triple7) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((triple7) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple6) -> rule4) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) triple7) -> rule7) OR ((((((triple6 ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule1) ((((((triple6) -> rule2)) -> rule6) triple6) -> rule8)) -> rule5) ((triple6) -> rule2)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple3) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
((triple2) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple4
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple6) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple8
((((triple11) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple9
((((((triple11 triple10) -> (rule1 % int3)) triple10) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple11 triple10) -> (rule1 % int4)) triple10) -> (rule5 % int3)) ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple11 triple10) -> (rule1 % int4)) ((triple8 triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((triple11 triple10) -> (rule1 % int5)) ((triple8 triple11) -> (rule8 % int4))) -> (rule5 % int3)) ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((triple11 ((triple8 triple11) -> (rule8 % int4))) -> (rule1 % int3)) triple10) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple11 ((triple8 triple11) -> (rule8 % int5))) -> (rule1 % int4)) triple10) -> (rule5 % int3)) ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple11 ((triple8 triple11) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8 triple11) -> (rule8 % int4))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple11 ((triple8 triple11) -> (rule8 % int5))) -> (rule1 % int4)) ((triple8 triple11) -> (rule8 % int5))) -> (rule5 % int3)) ((triple11) -> (rule2 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple11 triple10) -> (rule1 % int6)) ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple11 triple10) -> (rule1 % int6)) ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int2)) ((triple11) -> (rule2 % int5))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((triple11 ((triple8 triple11) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple11) -> (rule8 % int6))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((triple11 ((triple8 triple11) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple11) -> (rule8 % int6))) -> (rule5 % int2)) ((triple11) -> (rule2 % int4))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((triple11 ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule1 % int3)) triple10) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple11 ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule1 % int3)) triple10) -> (rule5 % int2)) ((triple11) -> (rule2 % int6))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple11 ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8 triple11) -> (rule8 % int4))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple11 ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule1 % int3)) ((triple8 triple11) -> (rule8 % int4))) -> (rule5 % int2)) ((triple11) -> (rule2 % int6))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple11 ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule5 % int2)) triple11) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple11 ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule2 % int6))) -> (rule6 % int5)) triple11) -> (rule8 % int4))) -> (rule5 % int2)) ((triple11) -> (rule2 % int6))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple8 triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((((triple11) -> (rule2 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple2) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple3) -> (rule6 % int2)) triple2) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((triple4 triple5) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((((triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple5) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple10) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((triple11 ((triple8 triple11) -> (rule8 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple11 ((((((triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple11) -> (rule8 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple11) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple2 ((triple1 triple2) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple2 ((((triple3) -> (rule6 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple2 ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((triple5 ((triple4 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((triple5 ((((((triple5) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((triple7) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple6) -> (rule2 % int3))) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple11 triple10) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple11 triple10) -> (rule1 % int3)) ((triple8 triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple11 ((triple8 triple11) -> (rule8 % int3))) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple11 ((triple8 triple11) -> (rule8 % int3))) -> (rule1 % int2)) ((triple8 triple11) -> (rule8 % int3))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((triple11 triple10) -> (rule1 % int5)) ((((((triple11) -> (rule2 % int4))) -> (rule6 % int3)) triple11) -> (rule8 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((triple11 ((triple8 triple11) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule2 % int3))) -> (rule6 % int2)) triple11) -> (rule8 % int5))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple11 ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule1 % int2)) triple10) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple11 ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule1 % int2)) ((triple8 triple11) -> (rule8 % int3))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((triple11 ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple11) -> (rule2 % int5))) -> (rule6 % int4)) triple11) -> (rule8 % int3))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2 ((triple1 triple2) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1 triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple2 ((triple1 triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int2)) triple2) -> (rule8 % int4))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple2 ((((triple3) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1 triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple2 ((triple1 triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule6 % int2)) triple2) -> (rule8 % int5))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple2 ((((triple3) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int2))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((triple2 ((((((triple2) -> (rule2 % int5))) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule1 % int2)) ((triple1 triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple2 ((((((triple2) -> (rule2 % int5))) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple2 ((((((triple2) -> (rule2 % int5))) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple2) -> (rule2 % int5))) -> (rule6 % int4)) triple2) -> (rule8 % int3))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
((((triple5 ((triple4 triple5) -> (rule8 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule8 % int3))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple5 ((triple4 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple5) -> (rule2 % int3))) -> (rule6 % int2)) triple5) -> (rule8 % int5))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((triple5 ((((((triple5) -> (rule2 % int5))) -> (rule6 % int4)) triple5) -> (rule8 % int3))) -> (rule1 % int2)) ((triple4 triple5) -> (rule8 % int3))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
((((triple5 ((((((triple5) -> (rule2 % int5))) -> (rule6 % int4)) triple5) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple5) -> (rule2 % int5))) -> (rule6 % int4)) triple5) -> (rule8 % int3))) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Erin is red.
("Erin" "is" "red" "+")
((triple6 ((((triple7) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple6 ((((((triple6) -> (rule2 % int4))) -> (rule6 % int3)) triple6) -> (rule8 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((((triple2 ((triple1 triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple2 ((triple1 triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple2 ((triple1 triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((triple1 triple2) -> (rule8 % int5))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((triple3) -> (rule6 % int4)) triple2) -> (rule8 % int6))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int6))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int6))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((triple1 triple2) -> (rule8 % int5))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
((((((triple2 ((triple1 triple2) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple2) -> (rule2 % int4))) -> (rule6 % int3)) triple2) -> (rule8 % int6))) -> (rule5 % int2)) ((triple2) -> (rule2 % int4))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int3)) ((triple2) -> (rule2 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((triple3) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple2) -> (rule2 % int3))) -> (rule6 % int6)) triple2) -> (rule8 % int5))) -> (rule5 % int2)) ((triple2) -> (rule2 % int3))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is big.
("Bob" "is" "big" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((triple1 triple2) -> (rule8 % int4))) -> (rule5 % int2)) ((triple2) -> (rule2 % int6))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) ((triple2) -> (rule2 % int6))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple2 ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple2) -> (rule2 % int6))) -> (rule6 % int5)) triple2) -> (rule8 % int4))) -> (rule5 % int2)) ((triple2) -> (rule2 % int6))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
Dave is green.
("Dave" "is" "green" "+")
((((((triple5 ((triple4 triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple5) -> (rule8 % int4))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple5 ((triple4 triple5) -> (rule8 % int5))) -> (rule1 % int4)) ((triple4 triple5) -> (rule8 % int5))) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple5 ((triple4 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple5) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int6))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((((triple5 ((triple4 triple5) -> (rule8 % int6))) -> (rule1 % int5)) ((((((triple5) -> (rule2 % int4))) -> (rule6 % int3)) triple5) -> (rule8 % int6))) -> (rule5 % int2)) ((triple5) -> (rule2 % int4))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
int5
Dave is nice.
("Dave" "is" "nice" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple5) -> (rule8 % int4))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((triple4 triple5) -> (rule8 % int4))) -> (rule5 % int2)) ((triple5) -> (rule2 % int6))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int2)) triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
((((((triple5 ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple5) -> (rule2 % int6))) -> (rule6 % int5)) triple5) -> (rule8 % int4))) -> (rule5 % int2)) ((triple5) -> (rule2 % int6))) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is big.
("Dave" "is" "big" "+")
int5
Dave is young.
("Dave" "is" "young" "+")
int6
Erin is kind.
("Erin" "is" "kind" "+")
((((triple6 ((((triple7) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple6 ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int2))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple6 ((((((triple6) -> (rule2 % int5))) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule1 % int2)) ((((triple7) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((triple6 ((((((triple6) -> (rule2 % int5))) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule1 % int2)) ((((((triple6) -> (rule2 % int5))) -> (rule6 % int4)) triple6) -> (rule8 % int3))) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
((((((triple6 ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6 ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int3)) ((triple6) -> (rule2 % int2))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((triple7) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule1 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule6 % int6)) triple6) -> (rule8 % int5))) -> (rule5 % int2)) ((triple6) -> (rule2 % int3))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((triple7) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) ((triple6) -> (rule2 % int6))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) triple7) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6
((((((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule1 % int3)) ((((((triple6) -> (rule2 % int6))) -> (rule6 % int5)) triple6) -> (rule8 % int4))) -> (rule5 % int2)) ((triple6) -> (rule2 % int6))) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is young.
("Erin" "is" "young" "+")
int6