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