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