Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Furry people are quiet. All quiet, red people are kind. All cold people are kind. Smart, cold people are red. All smart people are cold. Big, cold people are kind.
Charlie is red.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple7) -> rule5))] Charlie is furry.[(triple3)] Charlie is kind.[(triple4 OR ((triple2) -> rule3) OR ((triple1 triple2) -> rule6) OR ((triple5 triple6) -> rule2) OR ((((triple7) -> rule5)) -> rule3) OR ((triple1 ((triple7) -> rule5)) -> rule6) OR ((triple5 ((triple7 triple2) -> rule4)) -> rule2) OR ((((triple3) -> rule1) triple6) -> rule2) OR ((((triple3) -> rule1) ((triple7 triple2) -> rule4)) -> rule2) OR ((triple5 ((triple7 ((triple7) -> rule5)) -> rule4)) -> rule2) OR ((((triple3) -> rule1) ((triple7 ((triple7) -> rule5)) -> rule4)) -> rule2))] Charlie is quiet.[(triple5 OR ((triple3) -> rule1))] Charlie is red.[(triple6 OR ((triple7 triple2) -> rule4) OR ((triple7 ((triple7) -> rule5)) -> rule4))] Charlie is smart.[(triple7)]