Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Cold things are furry. Kind things are furry. If Bob is nice and Bob is rough then Bob is smart. Rough, kind things are big. Smart, furry things are rough. All cold, kind things are big.
Bob is nice.
@0: Bob is big.[(triple1 OR ((triple2 triple4) -> rule6) OR ((triple6 triple4) -> rule4) OR ((((triple7 triple3) -> rule5) triple4) -> rule4) OR ((((triple7 ((triple2) -> rule1)) -> rule5) triple4) -> rule4) OR ((((triple7 ((triple4) -> rule2)) -> rule5) triple4) -> rule4))] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule1) OR ((triple4) -> rule2))] Bob is kind.[(triple4)] Bob is nice.[(triple5)] Bob is rough.[(triple6 OR ((triple7 triple3) -> rule5) OR ((triple7 ((triple2) -> rule1)) -> rule5) OR ((triple7 ((triple4) -> rule2)) -> rule5))] Bob is smart.[(triple7 OR ((triple5 triple6) -> rule3))]