Charlie is big. Charlie is kind. Charlie is red. Charlie is round. Charlie is young. Erin is kind. Erin is red. If Charlie is white and Charlie is young then Charlie is kind. All big, young things are white. If Charlie is big and Charlie is round then Charlie is young. All kind, round things are big. If something is young then it is green. All red things are young.
Charlie is kind.
@0: Charlie is big.[(triple1 OR ((triple2 triple4) -> rule4))] Charlie is kind.[(triple2 OR ((((triple1 triple5) -> rule2) triple5) -> rule1) OR ((((triple1 triple5) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((triple1 triple5) -> rule2) ((triple1 triple4) -> rule3)) -> rule1) OR ((((triple1 ((triple3) -> rule6)) -> rule2) triple5) -> rule1) OR ((((triple1 ((triple1 triple4) -> rule3)) -> rule2) triple5) -> rule1) OR ((((triple1 ((triple3) -> rule6)) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((triple1 ((triple3) -> rule6)) -> rule2) ((triple1 triple4) -> rule3)) -> rule1) OR ((((triple1 ((triple1 triple4) -> rule3)) -> rule2) ((triple3) -> rule6)) -> rule1) OR ((((triple1 ((triple1 triple4) -> rule3)) -> rule2) ((triple1 triple4) -> rule3)) -> rule1))] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Charlie is young.[(triple5 OR ((triple3) -> rule6) OR ((triple1 triple4) -> rule3) OR ((((triple2 triple4) -> rule4) triple4) -> rule3))] Erin is kind.[(triple6)] Erin is red.[(triple7)] @1: Charlie is green.[(((triple5) -> rule5) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple1 triple4) -> rule3)) -> rule5) OR ((((((triple2 triple4) -> rule4) triple4) -> rule3)) -> rule5))] Charlie is white.[(((triple1 triple5) -> rule2) OR ((triple1 ((triple3) -> rule6)) -> rule2) OR ((triple1 ((triple1 triple4) -> rule3)) -> rule2) OR ((((triple2 triple4) -> rule4) triple5) -> rule2) OR ((((triple2 triple4) -> rule4) ((triple3) -> rule6)) -> rule2) OR ((((triple2 triple4) -> rule4) ((triple1 triple4) -> rule3)) -> rule2) OR ((triple1 ((((triple2 triple4) -> rule4) triple4) -> rule3)) -> rule2) OR ((((triple2 triple4) -> rule4) ((((triple2 triple4) -> rule4) triple4) -> rule3)) -> rule2))] Erin is young.[(((triple7) -> rule6))] @2: Erin is green.[(((((triple7) -> rule6)) -> rule5))]