Bob is big. Bob is not cold. Bob is quiet. If someone is smart and not cold then they are quiet. If someone is smart then they are young. If someone is quiet and kind then they are smart. All kind people are not smart. If someone is cold then they are smart. If someone is big then they are smart. If someone is kind and cold then they are big. If Bob is cold then Bob is not big.
Bob is big.
@0: Bob is big.[(triple1)] Bob is not cold.[(triple2)] Bob is quiet.[(triple3 OR ((((triple1) -> rule6) triple2) -> rule1))] @1: Bob is smart.[(((triple1) -> rule6))] @2: Bob is young.[(((((triple1) -> rule6)) -> rule2))]