Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Bob is young. All young people are big. If someone is kind then they are big. If someone is red and nice then they are smart. If Bob is smart then Bob is young. Big, red people are kind. All nice people are quiet. All quiet people are red. If someone is red then they are nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
All young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is red and nice then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If Bob is smart then Bob is young.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "young" "+"))
Big, red people are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All nice people are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are red.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Bob is red.
True
1
proof
[(triple5 OR ((triple4) -> rule7) OR ((((triple3) -> rule6)) -> rule7))]
("Bob" "is" "red" "+")
triple5
((triple4) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is not nice.
False
1
inv-proof
[(triple3 OR ((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule8))]
("Bob" "is" "nice" "-")
triple3
((triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
@0: Bob is big.[(triple1 OR ((triple2) -> rule2) OR ((triple7) -> rule1) OR ((((triple6) -> rule4)) -> rule1) OR ((((((triple5 triple3) -> rule3)) -> rule4)) -> rule1) OR ((((((triple5 ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) OR ((((((triple5 ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) OR ((((((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1))] Bob is kind.[(triple2 OR ((triple1 triple5) -> rule5) OR ((triple1 ((triple4) -> rule7)) -> rule5) OR ((((triple7) -> rule1) triple5) -> rule5) OR ((((triple7) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((triple1 ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) triple5) -> rule5) OR ((((triple7) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((triple6) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((triple5 triple3) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((triple5 triple3) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((triple5 triple3) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((triple5 ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((((triple4) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((triple5 ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((triple4) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((triple4) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((triple5 ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((((triple4) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((((triple4) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((triple4) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((triple5 ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((triple5 ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((triple5 ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) triple3) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) triple5) -> rule5) OR ((((((((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((triple4) -> rule7)) -> rule5) OR ((((((((((((triple3) -> rule6)) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4)) -> rule1) ((((triple3) -> rule6)) -> rule7)) -> rule5))] Bob is nice.[(triple3 OR ((triple5) -> rule8) OR ((((triple4) -> rule7)) -> rule8))] Bob is quiet.[(triple4 OR ((triple3) -> rule6) OR ((((triple5) -> rule8)) -> rule6))] Bob is red.[(triple5 OR ((triple4) -> rule7) OR ((((triple3) -> rule6)) -> rule7))] Bob is smart.[(triple6 OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple5) -> rule8)) -> rule3) OR ((((triple4) -> rule7) triple3) -> rule3) OR ((((triple4) -> rule7) ((triple5) -> rule8)) -> rule3) OR ((triple5 ((((triple4) -> rule7)) -> rule8)) -> rule3) OR ((((((triple3) -> rule6)) -> rule7) triple3) -> rule3) OR ((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3) OR ((((((triple3) -> rule6)) -> rule7) ((triple5) -> rule8)) -> rule3) OR ((((((triple3) -> rule6)) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3))] Bob is young.[(triple7 OR ((triple6) -> rule4) OR ((((triple5 triple3) -> rule3)) -> rule4) OR ((((triple5 ((triple5) -> rule8)) -> rule3)) -> rule4) OR ((((((triple4) -> rule7) triple3) -> rule3)) -> rule4) OR ((((((triple4) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4) OR ((((triple5 ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule7) triple3) -> rule3)) -> rule4) OR ((((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule7) ((triple5) -> rule8)) -> rule3)) -> rule4) OR ((((((((triple3) -> rule6)) -> rule7) ((((triple4) -> rule7)) -> rule8)) -> rule3)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((triple7) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
((((((triple5 ((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((((triple4) -> (rule7 % int4)) triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple4) -> (rule7 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((triple5 ((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple3) -> (rule6 % int5))) -> (rule7 % int4)) triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple4) -> (rule7 % int5)) ((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple3) -> (rule6 % int6))) -> (rule7 % int5)) ((triple5) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((((triple3) -> (rule6 % int6))) -> (rule7 % int5)) ((((triple4) -> (rule7 % int5))) -> (rule8 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple1 triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple1 ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple7) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple7) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((((triple6) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((triple7) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((((triple6) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((((((triple5 triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((((((triple5 triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((triple5 ((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((((((triple4) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((triple5 ((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
((((((((((triple4) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int5))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
((((((((((triple4) -> (rule7 % int6)) ((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((triple5 ((triple5) -> (rule8 % int7))) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
Bob is nice.
("Bob" "is" "nice" "+")
int7
((((((((((triple4) -> (rule7 % int6)) triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int2))) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple4) -> (rule7 % int6)) ((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple4) -> (rule7 % int7)) ((triple5) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int2))) -> (rule7 % int7))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
Bob is red.
("Bob" "is" "red" "+")
int7
((((((((triple5 ((((triple4) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((triple5 ((((triple4) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((triple4) -> (rule7 % int6)) ((((triple4) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int5))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((((((triple3) -> (rule6 % int7))) -> (rule7 % int6)) ((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
int7
((((((((triple5 ((((triple4) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int2))) -> (rule7 % int7))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
Bob is red.
("Bob" "is" "red" "+")
int7
((((((((((triple4) -> (rule7 % int6)) ((((triple4) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
((((((((((((triple3) -> (rule6 % int6))) -> (rule7 % int5)) triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int6))) -> (rule7 % int5))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
int6
((((((((((((triple3) -> (rule6 % int7))) -> (rule7 % int6)) ((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
int7
((((((((((((triple3) -> (rule6 % int7))) -> (rule7 % int6)) ((((triple4) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) triple5) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
int7
((((((((((triple4) -> (rule7 % int7)) ((((triple4) -> (rule7 % int7))) -> (rule8 % int6))) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule6 % int2))) -> (rule7 % int7))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
int6
Bob is red.
("Bob" "is" "red" "+")
int7
((((((((((((triple3) -> (rule6 % int7))) -> (rule7 % int6)) ((triple5) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int7))) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
int7
((((((((((((triple3) -> (rule6 % int7))) -> (rule7 % int6)) ((((triple4) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
int7
((((((((((((triple3) -> (rule6 % int7))) -> (rule7 % int6)) ((((triple4) -> (rule7 % int6))) -> (rule8 % int5))) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule6 % int7))) -> (rule7 % int6))) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Bob is red.
("Bob" "is" "red" "+")
int6
Bob is quiet.
("Bob" "is" "quiet" "+")
int7
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((triple5) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
((triple3) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
((((triple5) -> (rule8 % int2))) -> (rule6 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple4) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule7 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple6
((triple5 triple3) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple5 ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple4) -> (rule7 % int3)) ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((triple5 ((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int3))) -> (rule7 % int2)) triple3) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
((((triple4) -> (rule7 % int3)) ((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple3) -> (rule6 % int4))) -> (rule7 % int3)) ((triple5) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple3) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple4) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
triple7
((triple6) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple5 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
((((triple5 ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple4) -> (rule7 % int4)) ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((triple5 ((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple3) -> (rule6 % int4))) -> (rule7 % int3)) triple3) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((((triple4) -> (rule7 % int4)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((((((((triple3) -> (rule6 % int5))) -> (rule7 % int4)) ((triple5) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
((((((((triple3) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple4) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5