Charlie is furry. Charlie is kind. Charlie is not quiet. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is white. Gary is young. Red, white things are rough. White things are rough. If Gary is quiet and Gary is not young then Gary is white. If something is white and not young then it is quiet. If something is young and rough then it is furry. All young, furry things are kind. All quiet things are kind. If something is furry and not red then it is not kind.
Gary is white.
@0: Charlie is furry.[(triple1 OR ((triple7 triple5) -> rule5) OR ((triple7 ((triple6) -> rule2)) -> rule5) OR ((triple7 ((triple4 triple6) -> rule1)) -> rule5))] Charlie is kind.[(triple2 OR ((triple7 triple1) -> rule6) OR ((triple7 ((triple7 triple5) -> rule5)) -> rule6) OR ((triple7 ((triple7 ((triple6) -> rule2)) -> rule5)) -> rule6) OR ((triple7 ((triple7 ((triple4 triple6) -> rule1)) -> rule5)) -> rule6))] Charlie is not quiet.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5 OR ((triple6) -> rule2) OR ((triple4 triple6) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Gary is furry.[(triple8 OR ((triple14 triple12) -> rule5) OR ((triple14 ((triple13) -> rule2)) -> rule5) OR ((triple14 ((triple11 triple13) -> rule1)) -> rule5))] Gary is kind.[(triple9 OR ((triple10) -> rule7) OR ((triple14 triple8) -> rule6) OR ((triple14 ((triple14 triple12) -> rule5)) -> rule6) OR ((triple14 ((triple14 ((triple13) -> rule2)) -> rule5)) -> rule6) OR ((triple14 ((triple14 ((triple11 triple13) -> rule1)) -> rule5)) -> rule6))] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12 OR ((triple13) -> rule2) OR ((triple11 triple13) -> rule1))] Gary is white.[(triple13)] Gary is young.[(triple14)]