Bob is quiet. Bob is rough. Bob is round. Bob is white. Charlie is cold. Charlie is rough. Charlie is round. Charlie is white. Gary is big. Gary is cold. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is young. Quiet things are young. If something is young and rough then it is round. All cold, big things are quiet. If something is big and quiet then it is round. Round things are big. If Gary is rough then Gary is round.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((((triple1) -> rule1) triple2) -> rule2))] Bob is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7)] Charlie is white.[(triple8)] Gary is big.[(triple9 OR ((triple13) -> rule5) OR ((((triple12) -> rule6)) -> rule5) OR ((((triple15 triple12) -> rule2)) -> rule5) OR ((((((triple11) -> rule1) triple12) -> rule2)) -> rule5))] Gary is cold.[(triple10)] Gary is quiet.[(triple11 OR ((triple10 triple9) -> rule3) OR ((triple10 ((triple13) -> rule5)) -> rule3) OR ((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule3) OR ((triple10 ((((triple15 triple12) -> rule2)) -> rule5)) -> rule3))] Gary is rough.[(triple12)] Gary is round.[(triple13 OR ((triple12) -> rule6) OR ((triple15 triple12) -> rule2) OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple10 triple9) -> rule3)) -> rule4) OR ((((triple11) -> rule1) triple12) -> rule2) OR ((((((triple10 triple9) -> rule3)) -> rule1) triple12) -> rule2))] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple11) -> rule1) OR ((((triple10 triple9) -> rule3)) -> rule1) OR ((((triple10 ((triple13) -> rule5)) -> rule3)) -> rule1) OR ((((triple10 ((((triple12) -> rule6)) -> rule5)) -> rule3)) -> rule1))] @1: Bob is big.[(((triple3) -> rule5) OR ((((((triple1) -> rule1) triple2) -> rule2)) -> rule5))] Bob is young.[(((triple1) -> rule1))] Charlie is big.[(((triple7) -> rule5))] @2: Charlie is quiet.[(((triple5 ((triple7) -> rule5)) -> rule3))] @3: Charlie is young.[(((((triple5 ((triple7) -> rule5)) -> rule3)) -> rule1))]