Charlie is round. Dave is blue. Dave is red. Dave is round. Dave is smart. Erin is round. Gary is round. If something is furry and kind then it is red. All kind things are blue. All round things are kind. If Gary is smart then Gary is red. If something is red then it is round. If Erin is blue and Erin is round then Erin is big. Furry things are big. All red things are smart.
Dave is round.
@0: Charlie is round.[(triple1)] Dave is blue.[(triple2 OR ((((triple4) -> rule3)) -> rule2) OR ((((((triple3) -> rule5)) -> rule3)) -> rule2))] Dave is red.[(triple3)] Dave is round.[(triple4 OR ((triple3) -> rule5))] Dave is smart.[(triple5 OR ((triple3) -> rule8))] Erin is round.[(triple6)] Gary is round.[(triple7)] @1: Charlie is kind.[(((triple1) -> rule3))] Dave is kind.[(((triple4) -> rule3) OR ((((triple3) -> rule5)) -> rule3))] Erin is kind.[(((triple6) -> rule3))] Gary is kind.[(((triple7) -> rule3))] @2: Charlie is blue.[(((((triple1) -> rule3)) -> rule2))] Erin is blue.[(((((triple6) -> rule3)) -> rule2))] Gary is blue.[(((((triple7) -> rule3)) -> rule2))] @3: Erin is big.[(((((((triple6) -> rule3)) -> rule2) triple6) -> rule6))]