Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. If someone is quiet and blue then they are nice. All furry people are nice. Furry people are white. White, nice people are quiet. Nice, blue people are red. If someone is big then they are furry.
Charlie is quiet.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple1) -> rule6))] Charlie is nice.[(triple4 OR ((triple3) -> rule2) OR ((triple5 triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule2))] Charlie is quiet.[(triple5 OR ((triple7 triple4) -> rule4) OR ((triple7 ((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule3) triple4) -> rule4) OR ((((triple3) -> rule3) ((triple3) -> rule2)) -> rule4) OR ((triple7 ((((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule3) triple4) -> rule4) OR ((((triple3) -> rule3) ((((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule3) ((triple3) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule3) ((((triple1) -> rule6)) -> rule2)) -> rule4))] Charlie is red.[(triple6 OR ((triple4 triple2) -> rule5) OR ((((triple3) -> rule2) triple2) -> rule5) OR ((((triple5 triple2) -> rule1) triple2) -> rule5) OR ((((((triple1) -> rule6)) -> rule2) triple2) -> rule5))] Charlie is white.[(triple7 OR ((triple3) -> rule3) OR ((((triple1) -> rule6)) -> rule3))]