Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is smart. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is smart. Red, nice things are green. Green, kind things are red. If something is green then it is nice. Nice, furry things are green. All nice things are red. All furry things are big.
Charlie is not red.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule6))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is smart.[(triple5)] Gary is big.[(triple6 OR ((triple7) -> rule6))] Gary is furry.[(triple7)] Gary is green.[(triple8 OR ((triple10 triple7) -> rule4) OR ((triple11 triple10) -> rule1) OR ((((triple10) -> rule5) triple10) -> rule1))] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((triple8) -> rule3))] Gary is red.[(triple11 OR ((triple10) -> rule5) OR ((triple8 triple9) -> rule2) OR ((((triple8) -> rule3)) -> rule5) OR ((((triple10 triple7) -> rule4) triple9) -> rule2))] Gary is smart.[(triple12)] @1: Charlie is green.[(((triple4 triple2) -> rule4) OR ((((triple4) -> rule5) triple4) -> rule1))] Charlie is red.[(((triple4) -> rule5) OR ((((triple4 triple2) -> rule4) triple3) -> rule2))]