Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Kind, big things are quiet. If Bob is red and Bob is cold then Bob is smart. All green, kind things are smart. If something is cold then it is big. All cold things are smart. If Bob is red then Bob is quiet. If something is cold then it is quiet. If something is kind and red then it is smart.
Bob is green.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4))] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is quiet.[(triple5 OR ((triple2) -> rule7) OR ((triple6) -> rule6) OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple2) -> rule4)) -> rule1))] Bob is red.[(triple6)] Bob is smart.[(triple7 OR ((triple2) -> rule5) OR ((triple3 triple4) -> rule3) OR ((triple4 triple6) -> rule8) OR ((triple6 triple2) -> rule2))]