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