Charlie is red. Erin is red. Erin is round. Erin is smart. Gary is kind. Gary is quiet. Gary is red. Gary is round. Gary is smart. Gary is white. Harry is kind. Harry is smart. All smart, round people are big. White people are kind. All round people are quiet. All quiet people are white. If Charlie is red and Charlie is kind then Charlie is big. Red people are round.
Charlie is red.
@0: Charlie is red.[(triple1)] Erin is red.[(triple2)] Erin is round.[(triple3 OR ((triple2) -> rule6))] Erin is smart.[(triple4)] Gary is kind.[(triple5 OR ((triple10) -> rule2) OR ((((triple6) -> rule4)) -> rule2) OR ((((((triple8) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple7) -> rule6)) -> rule3)) -> rule4)) -> rule2))] Gary is quiet.[(triple6 OR ((triple8) -> rule3) OR ((((triple7) -> rule6)) -> rule3))] Gary is red.[(triple7)] Gary is round.[(triple8 OR ((triple7) -> rule6))] Gary is smart.[(triple9)] Gary is white.[(triple10 OR ((triple6) -> rule4) OR ((((triple8) -> rule3)) -> rule4) OR ((((((triple7) -> rule6)) -> rule3)) -> rule4))] Harry is kind.[(triple11)] Harry is smart.[(triple12)] @1: Charlie is round.[(((triple1) -> rule6))] Erin is big.[(((triple4 triple3) -> rule1) OR ((triple4 ((triple2) -> rule6)) -> rule1))] Erin is quiet.[(((triple3) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Gary is big.[(((triple9 triple8) -> rule1) OR ((triple9 ((triple7) -> rule6)) -> rule1))] @2: Charlie is quiet.[(((((triple1) -> rule6)) -> rule3))] Erin is white.[(((((triple3) -> rule3)) -> rule4) OR ((((((triple2) -> rule6)) -> rule3)) -> rule4))] @3: Charlie is white.[(((((((triple1) -> rule6)) -> rule3)) -> rule4))] Erin is kind.[(((((((triple3) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule4)) -> rule2))] @4: Charlie is kind.[(((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule2))] @5: Charlie is big.[(((triple1 ((((((((triple1) -> rule6)) -> rule3)) -> rule4)) -> rule2)) -> rule5))]