Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is round. If something is cold and blue then it is rough. If Charlie is blue then Charlie is nice. If something is cold then it is quiet. If Charlie is round and Charlie is quiet then Charlie is nice. All kind, rough things are nice. If something is blue then it is quiet.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple1) -> rule2) OR ((triple3 triple6) -> rule5) OR ((triple7 triple5) -> rule4) OR ((triple3 ((triple2 triple1) -> rule1)) -> rule5) OR ((triple7 ((triple1) -> rule6)) -> rule4) OR ((triple7 ((triple2) -> rule3)) -> rule4))] Charlie is quiet.[(triple5 OR ((triple1) -> rule6) OR ((triple2) -> rule3))] Charlie is rough.[(triple6 OR ((triple2 triple1) -> rule1))] Charlie is round.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is nice.[(triple11 OR ((triple10 triple13) -> rule5) OR ((triple10 ((triple9 triple8) -> rule1)) -> rule5))] Gary is quiet.[(triple12 OR ((triple8) -> rule6) OR ((triple9) -> rule3))] Gary is rough.[(triple13 OR ((triple9 triple8) -> rule1))] Gary is round.[(triple14)]