Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is rough. Bob is smart. Bob is young. Charlie is big. Charlie is kind. Dave is big. Dave is blue. Dave is green. Dave is young. Erin is green. If someone is green and kind then they are rough. If Bob is young and Bob is smart then Bob is big. If someone is rough and young then they are blue. Blue people are rough. If someone is kind and smart then they are big. If someone is young and smart then they are kind. All blue, green people are smart. All green people are kind. If someone is green and rough then they are young.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
If someone is green and kind then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Bob is young and Bob is smart then Bob is big.
((("Bob" "is" "young" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "big" "+"))
If someone is rough and young then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and smart then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "big" "+"))
If someone is young and smart then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All blue, green people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and rough then they are young.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Bob is young.
True
1
proof
[(triple7 OR ((triple3 triple5) -> rule9) OR ((triple3 ((triple2) -> rule4)) -> rule9) OR ((triple3 ((triple3 triple4) -> rule1)) -> rule9) OR ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9))]
("Bob" "is" "young" "+")
triple7
((triple3 triple5) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 ((triple2) -> (rule4 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is not big.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "big" "-")
triple8
Dave is rough.
True
2
proof
[(((triple11) -> rule4) OR ((triple12 ((triple12) -> rule8)) -> rule1) OR ((triple12 ((triple13 ((triple11 triple12) -> rule7)) -> rule6)) -> rule1))]
("Dave" "is" "rough" "+")
((triple11) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple12 ((triple12) -> (rule8 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple12 ((triple13 ((triple11 triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is not smart.
False
3
inv-proof
[(((triple11 triple12) -> rule7) OR ((((((triple12 ((triple12) -> rule8)) -> rule1) triple13) -> rule3) triple12) -> rule7) OR ((((((triple12 ((triple12) -> rule8)) -> rule1) ((triple12 ((triple12 ((triple12) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple12) -> rule7))]
("Dave" "is" "smart" "-")
((triple11 triple12) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((triple12 ((triple12) -> (rule8 % int4))) -> (rule1 % int3)) triple13) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple12 ((triple12) -> (rule8 % int5))) -> (rule1 % int4)) ((triple12 ((triple12 ((triple12) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Erin is rough.
True
4
proof
[(((triple14 ((triple14) -> rule8)) -> rule1))]
("Erin" "is" "rough" "+")
((triple14 ((triple14) -> (rule8 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not rough.
False
4
inv-proof
[(((triple14 ((triple14) -> rule8)) -> rule1))]
("Erin" "is" "rough" "-")
((triple14 ((triple14) -> (rule8 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
True
6
proof
[(((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9))]
("Erin" "is" "young" "+")
((triple14 ((triple14 ((triple14) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not young.
False
6
inv-proof
[(((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9))]
("Erin" "is" "young" "-")
((triple14 ((triple14 ((triple14) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is blue.
True
11
proof
[(((((triple14 ((triple14) -> rule8)) -> rule1) ((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9)) -> rule3))]
("Erin" "is" "blue" "+")
((((triple14 ((triple14) -> (rule8 % int4))) -> (rule1 % int3)) ((triple14 ((triple14 ((triple14) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is not blue.
False
11
inv-proof
[(((((triple14 ((triple14) -> rule8)) -> rule1) ((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9)) -> rule3))]
("Erin" "is" "blue" "-")
((((triple14 ((triple14) -> (rule8 % int4))) -> (rule1 % int3)) ((triple14 ((triple14 ((triple14) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
True
13
proof
[(((((((triple14 ((triple14) -> rule8)) -> rule1) ((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple14) -> rule7))]
("Erin" "is" "smart" "+")
((((((triple14 ((triple14) -> (rule8 % int5))) -> (rule1 % int4)) ((triple14 ((triple14 ((triple14) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple14) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is not smart.
False
13
inv-proof
[(((((((triple14 ((triple14) -> rule8)) -> rule1) ((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple14) -> rule7))]
("Erin" "is" "smart" "-")
((((((triple14 ((triple14) -> (rule8 % int5))) -> (rule1 % int4)) ((triple14 ((triple14 ((triple14) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple14) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is smart.
Unknown
rconc
[@1: Charlie is smart.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "smart" "+")
Charlie is not rough.
Unknown
inv-rconc
[@3: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is big.[(triple1 OR ((triple4 triple6) -> rule5) OR ((triple7 triple6) -> rule2) OR ((triple4 ((triple2 triple3) -> rule7)) -> rule5) OR ((triple7 ((triple2 triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) triple6) -> rule5) OR ((((triple3 triple5) -> rule9) triple6) -> rule2) OR ((((triple7 triple6) -> rule6) triple6) -> rule5) OR ((((triple3) -> rule8) ((triple2 triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((triple4 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) triple6) -> rule2) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) triple6) -> rule5) OR ((((triple3) -> rule8) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((triple2 triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((triple7 ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) triple6) -> rule2) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) triple6) -> rule5) OR ((triple4 ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule8) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 triple5) -> rule9) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((triple2 triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((((triple3) -> rule8) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((triple7 ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((triple4 ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((triple7 ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule8) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 triple5) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((triple4 ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule8) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 triple5) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) triple6) -> rule5) OR ((((triple3) -> rule8) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((triple2 triple3) -> rule7)) -> rule5) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((triple4 ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple4 ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((triple7 ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule8) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 triple5) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 triple4) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule2) OR ((((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7)) -> rule5))] Bob is blue.[(triple2 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple3 triple5) -> rule9)) -> rule3) OR ((((triple3 triple4) -> rule1) triple7) -> rule3) OR ((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) OR ((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) OR ((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) OR ((((triple3 ((triple7 triple6) -> rule6)) -> rule1) triple7) -> rule3) OR ((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) OR ((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) OR ((((triple3 ((triple7 triple6) -> rule6)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) OR ((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) OR ((((triple3 ((triple7 triple6) -> rule6)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) OR ((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) OR ((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) OR ((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) OR ((((triple3 ((triple7 triple6) -> rule6)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3))] Bob is green.[(triple3)] Bob is kind.[(triple4 OR ((triple3) -> rule8) OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple2 triple3) -> rule7)) -> rule6) OR ((((triple3 triple5) -> rule9) triple6) -> rule6) OR ((((triple3 triple5) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) OR ((triple7 ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) OR ((((triple3 ((triple2) -> rule4)) -> rule9) triple6) -> rule6) OR ((((triple3 triple5) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((triple2 triple3) -> rule7)) -> rule6) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 triple7) -> rule3) triple3) -> rule7)) -> rule6) OR ((triple7 ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) OR ((((triple3 triple5) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6) OR ((((triple3 ((triple2) -> rule4)) -> rule9) ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7)) -> rule6))] Bob is rough.[(triple5 OR ((triple2) -> rule4) OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple3) -> rule8)) -> rule1) OR ((triple3 ((triple7 triple6) -> rule6)) -> rule1) OR ((triple3 ((triple7 ((triple2 triple3) -> rule7)) -> rule6)) -> rule1))] Bob is smart.[(triple6 OR ((triple2 triple3) -> rule7) OR ((((triple5 triple7) -> rule3) triple3) -> rule7) OR ((((triple5 ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7) OR ((((((triple3 triple4) -> rule1) triple7) -> rule3) triple3) -> rule7) OR ((((((triple3 triple4) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7) OR ((((triple5 ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7) OR ((((((triple3 ((triple3) -> rule8)) -> rule1) triple7) -> rule3) triple3) -> rule7) OR ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7) OR ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 triple5) -> rule9)) -> rule3) triple3) -> rule7) OR ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 triple4) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7) OR ((((triple5 ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7) OR ((((((triple3 triple4) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7) OR ((((((triple3 ((triple3) -> rule8)) -> rule1) ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple3) -> rule7))] Bob is young.[(triple7 OR ((triple3 triple5) -> rule9) OR ((triple3 ((triple2) -> rule4)) -> rule9) OR ((triple3 ((triple3 triple4) -> rule1)) -> rule9) OR ((triple3 ((triple3 ((triple3) -> rule8)) -> rule1)) -> rule9))] Charlie is big.[(triple8)] Charlie is kind.[(triple9)] Dave is big.[(triple10 OR ((((triple12) -> rule8) ((triple11 triple12) -> rule7)) -> rule5) OR ((((triple13 ((triple11 triple12) -> rule7)) -> rule6) ((triple11 triple12) -> rule7)) -> rule5) OR ((((((triple12 ((triple11) -> rule4)) -> rule9) ((triple11 triple12) -> rule7)) -> rule6) ((triple11 triple12) -> rule7)) -> rule5) OR ((((triple12) -> rule8) ((((((triple12 ((triple12) -> rule8)) -> rule1) triple13) -> rule3) triple12) -> rule7)) -> rule5) OR ((((triple13 ((triple11 triple12) -> rule7)) -> rule6) ((((((triple12 ((triple12) -> rule8)) -> rule1) triple13) -> rule3) triple12) -> rule7)) -> rule5) OR ((((((triple12 ((triple11) -> rule4)) -> rule9) ((triple11 triple12) -> rule7)) -> rule6) ((((((triple12 ((triple12) -> rule8)) -> rule1) triple13) -> rule3) triple12) -> rule7)) -> rule5) OR ((((triple12) -> rule8) ((((((triple12 ((triple12) -> rule8)) -> rule1) ((triple12 ((triple12 ((triple12) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple12) -> rule7)) -> rule5) OR ((((triple13 ((triple11 triple12) -> rule7)) -> rule6) ((((((triple12 ((triple12) -> rule8)) -> rule1) ((triple12 ((triple12 ((triple12) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple12) -> rule7)) -> rule5) OR ((((((triple12 ((triple11) -> rule4)) -> rule9) ((triple11 triple12) -> rule7)) -> rule6) ((((((triple12 ((triple12) -> rule8)) -> rule1) ((triple12 ((triple12 ((triple12) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple12) -> rule7)) -> rule5))] Dave is blue.[(triple11 OR ((((triple12 ((triple12) -> rule8)) -> rule1) triple13) -> rule3) OR ((((triple12 ((triple12) -> rule8)) -> rule1) ((triple12 ((triple12 ((triple12) -> rule8)) -> rule1)) -> rule9)) -> rule3))] Dave is green.[(triple12)] Dave is young.[(triple13 OR ((triple12 ((triple11) -> rule4)) -> rule9) OR ((triple12 ((triple12 ((triple12) -> rule8)) -> rule1)) -> rule9))] Erin is green.[(triple14)] @1: Dave is kind.[(((triple12) -> rule8) OR ((triple13 ((triple11 triple12) -> rule7)) -> rule6) OR ((((triple12 ((triple11) -> rule4)) -> rule9) ((triple11 triple12) -> rule7)) -> rule6))] Dave is rough.[(((triple11) -> rule4) OR ((triple12 ((triple12) -> rule8)) -> rule1) OR ((triple12 ((triple13 ((triple11 triple12) -> rule7)) -> rule6)) -> rule1))] Dave is smart.[(((triple11 triple12) -> rule7) OR ((((((triple12 ((triple12) -> rule8)) -> rule1) triple13) -> rule3) triple12) -> rule7) OR ((((((triple12 ((triple12) -> rule8)) -> rule1) ((triple12 ((triple12 ((triple12) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple12) -> rule7))] Erin is kind.[(((triple14) -> rule8))] @2: Erin is rough.[(((triple14 ((triple14) -> rule8)) -> rule1))] @3: Erin is young.[(((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9))] @4: Erin is blue.[(((((triple14 ((triple14) -> rule8)) -> rule1) ((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9)) -> rule3))] @5: Erin is smart.[(((((((triple14 ((triple14) -> rule8)) -> rule1) ((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple14) -> rule7))] @6: Erin is big.[(((((triple14) -> rule8) ((((((triple14 ((triple14) -> rule8)) -> rule1) ((triple14 ((triple14 ((triple14) -> rule8)) -> rule1)) -> rule9)) -> rule3) triple14) -> rule7)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple4 triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple7 triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple4 ((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((triple7 ((triple2 triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3) -> (rule8 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3 triple5) -> (rule9 % int2)) triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple7 triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple3) -> (rule8 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple5) -> (rule9 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7 triple6) -> (rule6 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple4 ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((triple7 ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule9 % int2)) triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2)) triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple7 ((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple3 triple5) -> (rule9 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple3) -> (rule8 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 triple5) -> (rule9 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 ((triple2) -> (rule4 % int4))) -> (rule9 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple7 triple6) -> (rule6 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple7 ((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple3 triple5) -> (rule9 % int4)) triple6) -> (rule6 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3 triple5) -> (rule9 % int4)) ((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple7 ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 triple7) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple3 triple5) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule9 % int4)) ((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3 triple5) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 triple7) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((triple4 ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple4 ((((((triple3 triple4) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple7 ((((((triple3 triple4) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple6) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple7 ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3 ((triple2) -> (rule4 % int4))) -> (rule9 % int3)) triple6) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple4 ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple7 ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3) -> (rule8 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3) -> (rule8 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 triple5) -> (rule9 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 triple5) -> (rule9 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple7 triple6) -> (rule6 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple7 triple6) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple7 ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) triple6) -> (rule6 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3) -> (rule8 % int6)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 triple5) -> (rule9 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple7 ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple7 ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
((((((triple3 triple5) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 triple5) -> (rule9 % int2))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple7 ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int6)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 triple7) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) ((triple3 triple5) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int6)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((triple4 ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple4 ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((triple7 ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple7 ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((triple4 ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple4 ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple7 ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple7 ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3) -> (rule8 % int6)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3) -> (rule8 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 triple5) -> (rule9 % int5)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 triple5) -> (rule9 % int6)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 triple6) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((triple4 ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple7 ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3) -> (rule8 % int6)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3) -> (rule8 % int6)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 triple5) -> (rule9 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3 triple5) -> (rule9 % int6)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) triple6) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3) -> (rule8 % int6)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 triple5) -> (rule9 % int6)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 triple5) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int6)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 triple4) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) ((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((triple4 ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple7 ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple4 ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((triple7 ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int6))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3) -> (rule8 % int6)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple4 ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((triple7 ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3) -> (rule8 % int6)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 triple5) -> (rule9 % int6)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int5))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple3) -> (rule8 % int6)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple3 triple5) -> (rule9 % int6)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 triple6) -> (rule6 % int6)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 triple4) -> (rule1 % int4)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 triple4) -> (rule1 % int6))) -> (rule9 % int5)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((triple2 triple3) -> (rule7 % int6))) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int6))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) triple6) -> (rule6 % int5)) ((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int6))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int3)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) ((((((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((triple7 ((((triple5 triple7) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int6)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is blue.
("Bob" "is" "blue" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((triple2 triple3) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int6))) -> (rule3 % int2)) triple3) -> (rule7 % int5))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) triple6) -> (rule6 % int4)) ((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 triple7) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 triple4) -> (rule1 % int2)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((triple2 triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int2)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 triple5) -> (rule9 % int6)) ((((triple5 ((triple3 triple5) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int6))) -> (rule3 % int5)) triple3) -> (rule7 % int4))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 triple7) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 triple4) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
((((((triple3 ((triple2) -> (rule4 % int6))) -> (rule9 % int5)) ((((triple5 ((triple3 triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule6 % int2)) ((((((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6)) ((triple3 ((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int4)) triple3) -> (rule7 % int3))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
int6
Bob is blue.
("Bob" "is" "blue" "+")
triple2
((triple5 triple7) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
((triple5 ((triple3 triple5) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple3 triple4) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple3 triple4) -> (rule1 % int3)) ((triple3 triple5) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 ((triple7 triple6) -> (rule6 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple4) -> (rule1 % int3)) ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 triple5) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple7 triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 triple5) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple7 triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 triple4) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 triple4) -> (rule1 % int4)) ((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int4))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple7 triple6) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
((triple3) -> (rule8 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple7 triple6) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple7 ((triple2 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple3 triple5) -> (rule9 % int2)) triple6) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple3 triple5) -> (rule9 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple7 ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule9 % int2)) triple6) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple3 triple5) -> (rule9 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 ((triple2) -> (rule4 % int4))) -> (rule9 % int3)) ((triple2 triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((triple5 triple7) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple7 ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 triple5) -> (rule9 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3 ((triple2) -> (rule4 % int5))) -> (rule9 % int4)) ((((triple5 ((triple3 triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple3) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple5
((triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple3 triple4) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((triple3 ((triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple3 ((triple7 triple6) -> (rule6 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple3 ((triple7 ((triple2 triple3) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple2 triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple5 triple7) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
((((triple5 ((triple3 triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple3 triple4) -> (rule1 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple3 triple4) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((triple5 ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple3 triple4) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 triple4) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple5 ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((triple3 triple4) -> (rule1 % int5)) ((triple3 ((triple3 ((triple3) -> (rule8 % int4))) -> (rule1 % int5))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4)) ((triple3 ((triple3 ((triple3) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple3 triple5) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple3 ((triple2) -> (rule4 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple3 ((triple3 triple4) -> (rule1 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((triple3 ((triple3 ((triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
triple10
((((triple12) -> (rule8 % int3)) ((triple11 triple12) -> (rule7 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple13 ((triple11 triple12) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11 triple12) -> (rule7 % int3))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((((triple12 ((triple11) -> (rule4 % int5))) -> (rule9 % int4)) ((triple11 triple12) -> (rule7 % int3))) -> (rule6 % int2)) ((triple11 triple12) -> (rule7 % int3))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
((((triple12) -> (rule8 % int5)) ((((((triple12 ((triple12) -> (rule8 % int5))) -> (rule1 % int4)) triple13) -> (rule3 % int3)) triple12) -> (rule7 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
((((triple13 ((triple11 triple12) -> (rule7 % int5))) -> (rule6 % int4)) ((((((triple12 ((triple12) -> (rule8 % int4))) -> (rule1 % int3)) triple13) -> (rule3 % int2)) triple12) -> (rule7 % int5))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is smart.
("Dave" "is" "smart" "+")
int5
((((((triple12 ((triple11) -> (rule4 % int6))) -> (rule9 % int5)) ((triple11 triple12) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple12 ((triple12) -> (rule8 % int3))) -> (rule1 % int6)) triple13) -> (rule3 % int2)) triple12) -> (rule7 % int4))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
int6
((((triple12) -> (rule8 % int6)) ((((((triple12 ((triple12) -> (rule8 % int6))) -> (rule1 % int5)) ((triple12 ((triple12 ((triple12) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple12) -> (rule7 % int2))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is kind.
("Dave" "is" "kind" "+")
int6
((((triple13 ((triple11 triple12) -> (rule7 % int6))) -> (rule6 % int5)) ((((((triple12 ((triple12) -> (rule8 % int5))) -> (rule1 % int4)) ((triple12 ((triple12 ((triple12) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple12) -> (rule7 % int6))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
((((((triple12 ((triple11) -> (rule4 % int6))) -> (rule9 % int5)) ((triple11 triple12) -> (rule7 % int4))) -> (rule6 % int3)) ((((((triple12 ((triple12) -> (rule8 % int3))) -> (rule1 % int6)) ((triple12 ((triple12 ((triple12) -> (rule8 % int3))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule3 % int2)) triple12) -> (rule7 % int4))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is young.
("Dave" "is" "young" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
int6
Dave is blue.
("Dave" "is" "blue" "+")
triple11
((((triple12 ((triple12) -> (rule8 % int3))) -> (rule1 % int2)) triple13) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((triple12 ((triple12) -> (rule8 % int4))) -> (rule1 % int3)) ((triple12 ((triple12 ((triple12) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
triple12
Dave is young.
("Dave" "is" "young" "+")
triple13
((triple12 ((triple11) -> (rule4 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((triple12 ((triple12 ((triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
triple14
Dave is kind.
("Dave" "is" "kind" "+")
((triple12) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple13 ((triple11 triple12) -> (rule7 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple12 ((triple11) -> (rule4 % int4))) -> (rule9 % int3)) ((triple11 triple12) -> (rule7 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
((triple11) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple12 ((triple12) -> (rule8 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((triple12 ((triple13 ((triple11 triple12) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((triple11 triple12) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((((triple12 ((triple12) -> (rule8 % int4))) -> (rule1 % int3)) triple13) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple12 ((triple12) -> (rule8 % int5))) -> (rule1 % int4)) ((triple12 ((triple12 ((triple12) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
((triple14) -> (rule8 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple14 ((triple14) -> (rule8 % int2))) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
((triple14 ((triple14 ((triple14) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((((triple14 ((triple14) -> (rule8 % int4))) -> (rule1 % int3)) ((triple14 ((triple14 ((triple14) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple14 ((triple14) -> (rule8 % int5))) -> (rule1 % int4)) ((triple14 ((triple14 ((triple14) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule3 % int2)) triple14) -> (rule7 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
((((triple14) -> (rule8 % int6)) ((((((triple14 ((triple14) -> (rule8 % int6))) -> (rule1 % int5)) ((triple14 ((triple14 ((triple14) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule3 % int3)) triple14) -> (rule7 % int2))) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is kind.
("Erin" "is" "kind" "+")
int6