Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. Charlie is smart. Kind people are nice. If someone is round and nice then they are furry. Rough, smart people are kind. If someone is smart and big then they are rough. Big, furry people are round. All round, nice people are furry.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple6 triple4) -> rule2) OR ((triple6 triple4) -> rule6) OR ((triple6 ((triple3) -> rule1)) -> rule2) OR ((triple6 ((triple3) -> rule1)) -> rule6) OR ((triple6 ((((triple5 triple7) -> rule3)) -> rule1)) -> rule2) OR ((triple6 ((((triple5 triple7) -> rule3)) -> rule1)) -> rule6) OR ((triple6 ((((((triple7 triple1) -> rule4) triple7) -> rule3)) -> rule1)) -> rule2) OR ((triple6 ((((((triple7 triple1) -> rule4) triple7) -> rule3)) -> rule1)) -> rule6))] Charlie is kind.[(triple3 OR ((triple5 triple7) -> rule3) OR ((((triple7 triple1) -> rule4) triple7) -> rule3))] Charlie is nice.[(triple4 OR ((triple3) -> rule1) OR ((((triple5 triple7) -> rule3)) -> rule1) OR ((((((triple7 triple1) -> rule4) triple7) -> rule3)) -> rule1))] Charlie is rough.[(triple5 OR ((triple7 triple1) -> rule4))] Charlie is round.[(triple6 OR ((triple1 triple2) -> rule5))] Charlie is smart.[(triple7)]