Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. If Bob is round and Bob is nice then Bob is red. Red, kind things are round. Rough, smart things are round. All young things are kind. If something is nice then it is smart. If Bob is red then Bob is young. If something is rough then it is nice. If something is kind and round then it is nice.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
If Bob is round and Bob is nice then Bob is red.
((("Bob" "is" "round" "+") ("Bob" "is" "nice" "+")) -> ("Bob" "is" "red" "+"))
Red, kind things are round.
((("something" "is" "red" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Rough, smart things are round.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
All young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it is smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
If Bob is red then Bob is young.
((("Bob" "is" "red" "+")) -> ("Bob" "is" "young" "+"))
If something is rough then it is nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is kind and round then it is nice.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Bob is nice.
True
1
proof
[(triple2 OR ((triple4) -> rule7) OR ((triple1 triple5) -> rule8) OR ((triple1 ((triple3 triple1) -> rule2)) -> rule8) OR ((triple1 ((triple4 triple6) -> rule3)) -> rule8) OR ((((triple7) -> rule4) triple5) -> rule8) OR ((((triple7) -> rule4) ((triple3 triple1) -> rule2)) -> rule8) OR ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8) OR ((triple1 ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) triple5) -> rule8) OR ((((triple7) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 triple1) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple4 triple6) -> rule3)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((triple1 ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((triple7) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8))]
("Bob" "is" "nice" "+")
triple2
((triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 ((triple3 triple1) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple1 ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple7) -> (rule4 % int2)) triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple3 triple1) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple7) -> (rule4 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple1 ((triple3 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule4 % int3)) ((triple3 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3 triple1) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple1 ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple7) -> (rule4 % int4)) ((triple3 ((((triple3) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not kind.
False
1
inv-proof
[(triple1 OR ((triple7) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((((triple5 triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple5 ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 triple6) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 triple6) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((triple2) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4))]
("Bob" "is" "kind" "-")
triple1
((triple7) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple5 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple5 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule3 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple4 triple6) -> (rule3 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4 ((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple4 ((triple2) -> (rule5 % int6))) -> (rule3 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((triple4 ((((triple4) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((triple4 ((((triple4) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4) -> (rule7 % int6))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
@0: Bob is kind.[(triple1 OR ((triple7) -> rule4) OR ((((triple3) -> rule6)) -> rule4) OR ((((((triple5 triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((triple5 ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 triple6) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 triple6) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((triple2) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6)) -> rule4))] Bob is nice.[(triple2 OR ((triple4) -> rule7) OR ((triple1 triple5) -> rule8) OR ((triple1 ((triple3 triple1) -> rule2)) -> rule8) OR ((triple1 ((triple4 triple6) -> rule3)) -> rule8) OR ((((triple7) -> rule4) triple5) -> rule8) OR ((((triple7) -> rule4) ((triple3 triple1) -> rule2)) -> rule8) OR ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8) OR ((triple1 ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) triple5) -> rule8) OR ((((triple7) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 triple1) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple4 triple6) -> rule3)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8) OR ((triple1 ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((triple7) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple3) -> rule6)) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8))] Bob is red.[(triple3 OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple4) -> rule7)) -> rule1) OR ((triple5 ((triple1 triple5) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) triple2) -> rule1) OR ((((triple4 triple6) -> rule3) ((triple4) -> rule7)) -> rule1) OR ((((triple4 triple6) -> rule3) ((triple1 triple5) -> rule8)) -> rule1) OR ((triple5 ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((triple5 ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) triple2) -> rule1) OR ((triple5 ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1) OR ((((triple4 triple6) -> rule3) ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((triple2) -> rule5)) -> rule3) ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) triple2) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((((triple7) -> rule4) triple5) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((((triple7) -> rule4) ((triple4 triple6) -> rule3)) -> rule8)) -> rule1))] Bob is rough.[(triple4)] Bob is round.[(triple5 OR ((triple3 triple1) -> rule2) OR ((triple4 triple6) -> rule3) OR ((triple3 ((triple7) -> rule4)) -> rule2) OR ((triple4 ((triple2) -> rule5)) -> rule3) OR ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2) OR ((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3))] Bob is smart.[(triple6 OR ((triple2) -> rule5) OR ((((triple4) -> rule7)) -> rule5) OR ((((triple1 triple5) -> rule8)) -> rule5) OR ((((triple1 ((triple3 triple1) -> rule2)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) triple5) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) ((triple3 triple1) -> rule2)) -> rule8)) -> rule5) OR ((((triple1 ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) triple5) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) ((triple3 triple1) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) ((triple3 ((triple7) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((triple1 ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((triple7) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8)) -> rule5) OR ((((((((triple3) -> rule6)) -> rule4) ((triple3 ((((triple3) -> rule6)) -> rule4)) -> rule2)) -> rule8)) -> rule5))] Bob is young.[(triple7 OR ((triple3) -> rule6) OR ((((triple5 triple2) -> rule1)) -> rule6) OR ((((triple5 ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((triple5 ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) triple2) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((triple5 ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6) OR ((((((triple4 triple6) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) triple2) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple4) -> rule7)) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 triple5) -> rule8)) -> rule1)) -> rule6) OR ((((((triple4 ((((triple4) -> rule7)) -> rule5)) -> rule3) ((triple1 ((triple4 triple6) -> rule3)) -> rule8)) -> rule1)) -> rule6))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
((triple7) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple5 triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple5 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple4 triple6) -> (rule3 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((((triple4 triple6) -> (rule3 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((((triple4 ((triple2) -> (rule5 % int5))) -> (rule3 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple4 ((triple2) -> (rule5 % int6))) -> (rule3 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((triple4 ((((triple4) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) triple2) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((triple4 ((((triple4) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4) -> (rule7 % int6))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple4) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 ((triple3 triple1) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple1 ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple7) -> (rule4 % int2)) triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple3 triple1) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple7) -> (rule4 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple1 ((triple3 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule4 % int2)) triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule4 % int3)) ((triple3 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3 triple1) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3 ((triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((triple1 ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple7) -> (rule4 % int4)) ((triple3 ((((triple3) -> (rule6 % int3))) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple3
((triple5 triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple5 ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((triple5 ((triple1 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4 triple6) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4 triple6) -> (rule3 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4 triple6) -> (rule3 % int3)) ((triple1 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple5 ((triple1 ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple5 ((((triple7) -> (rule4 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple4 ((triple2) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((triple5 ((((triple7) -> (rule4 % int4)) ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple4 triple6) -> (rule3 % int3)) ((triple1 ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4 triple6) -> (rule3 % int4)) ((((triple7) -> (rule4 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple4 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple4 triple6) -> (rule3 % int4)) ((((triple7) -> (rule4 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple4 ((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule4 % int3)) triple5) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple4 ((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule4 % int3)) ((triple4 triple6) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple4) -> (rule7 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 triple5) -> (rule8 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) ((triple1 ((triple4 triple6) -> (rule3 % int2))) -> (rule8 % int4))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule4 % int2)) triple5) -> (rule8 % int5))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule4 % int2)) ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple3 triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple4 triple6) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple3 ((triple7) -> (rule4 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple4 ((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((triple3 ((((triple3) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple4 ((((triple4) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple2) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1 triple5) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1 ((triple3 triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple7) -> (rule4 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple7) -> (rule4 % int4)) ((triple3 triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple1 ((triple3 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule4 % int3)) triple5) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple7) -> (rule4 % int4)) ((triple3 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4)) ((triple3 triple1) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4)) ((triple3 ((triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple1 ((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((triple7) -> (rule4 % int5)) ((triple3 ((((triple3) -> (rule6 % int4))) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple3) -> (rule6 % int5))) -> (rule4 % int4)) ((triple3 ((((triple3) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple3) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5 triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple5 ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5 ((triple1 triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4 triple6) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((triple4 triple6) -> (rule3 % int4)) ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4 triple6) -> (rule3 % int4)) ((triple1 triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple5 ((triple1 ((triple4 triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4 ((triple2) -> (rule5 % int4))) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((triple4 triple6) -> (rule3 % int4)) ((triple1 ((triple4 triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4 ((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple4 ((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple4 ((triple2) -> (rule5 % int5))) -> (rule3 % int4)) ((triple1 ((triple4 triple6) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4) -> (rule7 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 triple5) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4 ((((triple4) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) ((triple1 ((triple4 triple6) -> (rule3 % int3))) -> (rule8 % int5))) -> (rule1 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5