Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is white. Gary is young. All young, quiet people are green. Red, furry people are nice. If someone is nice and quiet then they are green. Nice, quiet people are furry. If someone is nice and young then they are white. Furry people are nice.
Gary is not nice.
@0: Charlie is furry.[(triple1 OR ((triple3 triple4) -> rule4))] Charlie is green.[(triple2 OR ((triple3 triple4) -> rule3) OR ((triple7 triple4) -> rule1) OR ((((triple1) -> rule6) triple4) -> rule3) OR ((((triple5 triple1) -> rule2) triple4) -> rule3))] Charlie is nice.[(triple3 OR ((triple1) -> rule6) OR ((triple5 triple1) -> rule2))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is white.[(triple6 OR ((triple3 triple7) -> rule5) OR ((((triple1) -> rule6) triple7) -> rule5) OR ((((triple5 triple1) -> rule2) triple7) -> rule5))] Charlie is young.[(triple7)] Gary is furry.[(triple8 OR ((triple10 triple11) -> rule4))] Gary is green.[(triple9 OR ((triple10 triple11) -> rule3) OR ((triple14 triple11) -> rule1) OR ((((triple8) -> rule6) triple11) -> rule3) OR ((((triple12 triple8) -> rule2) triple11) -> rule3))] Gary is nice.[(triple10 OR ((triple8) -> rule6) OR ((triple12 triple8) -> rule2))] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is white.[(triple13 OR ((triple10 triple14) -> rule5) OR ((((triple8) -> rule6) triple14) -> rule5) OR ((((triple12 triple8) -> rule2) triple14) -> rule5))] Gary is young.[(triple14)]