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