Bob is cold. Bob is kind. Bob is rough. Bob is smart. Gary is not big. Gary is cold. Gary is quiet. If Bob is big then Bob is quiet. If Bob is red and Bob is rough then Bob is big. If someone is quiet and not cold then they are not kind. All smart, big people are kind. If someone is rough then they are kind. If someone is cold then they are red.
Bob is not big.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule5) OR ((triple4 ((((triple1) -> rule6) triple3) -> rule2)) -> rule4))] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Gary is cold.[(triple6)] Gary is not big.[(triple5)] Gary is quiet.[(triple7)] @1: Bob is red.[(((triple1) -> rule6))] Gary is red.[(((triple6) -> rule6))] @2: Bob is big.[(((((triple1) -> rule6) triple3) -> rule2))] @3: Bob is quiet.[(((((((triple1) -> rule6) triple3) -> rule2)) -> rule1))]