Bob is big. Bob is not blue. Bob is cold. Bob is kind. Bob is nice. Bob is round. Bob is smart. All cold people are big. If someone is nice and kind then they are big. If someone is blue then they are round. If someone is round and nice then they are smart. If someone is kind then they are nice. All smart people are nice.
Bob is not round.
@0: Bob is big.[(triple1 OR ((triple3) -> rule1) OR ((triple5 triple4) -> rule2) OR ((((triple4) -> rule5) triple4) -> rule2) OR ((((triple7) -> rule6) triple4) -> rule2))] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple4) -> rule5) OR ((triple7) -> rule6))] Bob is not blue.[(triple2)] Bob is round.[(triple6)] Bob is smart.[(triple7 OR ((triple6 triple5) -> rule4) OR ((triple6 ((triple4) -> rule5)) -> rule4))]