Charlie is kind. Charlie is red. Charlie is white. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. If something is young and rough then it is green. If Charlie is red and Charlie is white then Charlie is young. If Charlie is green then Charlie is kind. If Erin is young and Erin is red then Erin is green. Round, red things are white. If something is young and red then it is round. White, round things are rough. If something is young then it is white.
Charlie is rough.
@0: Charlie is kind.[(triple1 OR ((((((triple2 triple3) -> rule2) ((triple3 ((((triple2 triple3) -> rule2) triple2) -> rule6)) -> rule7)) -> rule1)) -> rule3))] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Erin is green.[(triple4 OR ((triple10 triple6) -> rule4) OR ((triple10 triple7) -> rule1) OR ((triple10 ((triple9 triple8) -> rule7)) -> rule1) OR ((triple10 ((triple9 ((triple10 triple6) -> rule6)) -> rule7)) -> rule1) OR ((triple10 ((((triple10) -> rule8) triple8) -> rule7)) -> rule1) OR ((triple10 ((((triple8 triple6) -> rule5) triple8) -> rule7)) -> rule1) OR ((triple10 ((((triple10) -> rule8) ((triple10 triple6) -> rule6)) -> rule7)) -> rule1) OR ((triple10 ((((triple8 triple6) -> rule5) ((triple10 triple6) -> rule6)) -> rule7)) -> rule1) OR ((triple10 ((((((triple10 triple6) -> rule6) triple6) -> rule5) triple8) -> rule7)) -> rule1) OR ((triple10 ((((((triple10 triple6) -> rule6) triple6) -> rule5) ((triple10 triple6) -> rule6)) -> rule7)) -> rule1))] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7 OR ((triple9 triple8) -> rule7) OR ((triple9 ((triple10 triple6) -> rule6)) -> rule7) OR ((((triple10) -> rule8) triple8) -> rule7) OR ((((triple8 triple6) -> rule5) triple8) -> rule7) OR ((((triple10) -> rule8) ((triple10 triple6) -> rule6)) -> rule7) OR ((((triple8 triple6) -> rule5) ((triple10 triple6) -> rule6)) -> rule7) OR ((((((triple10 triple6) -> rule6) triple6) -> rule5) triple8) -> rule7) OR ((((((triple10 triple6) -> rule6) triple6) -> rule5) ((triple10 triple6) -> rule6)) -> rule7))] Erin is round.[(triple8 OR ((triple10 triple6) -> rule6))] Erin is white.[(triple9 OR ((triple10) -> rule8) OR ((triple8 triple6) -> rule5) OR ((((triple10 triple6) -> rule6) triple6) -> rule5))] Erin is young.[(triple10)] @1: Charlie is young.[(((triple2 triple3) -> rule2))] @2: Charlie is round.[(((((triple2 triple3) -> rule2) triple2) -> rule6))] @3: Charlie is rough.[(((triple3 ((((triple2 triple3) -> rule2) triple2) -> rule6)) -> rule7))] @4: Charlie is green.[(((((triple2 triple3) -> rule2) ((triple3 ((((triple2 triple3) -> rule2) triple2) -> rule6)) -> rule7)) -> rule1))]