Charlie is white. Dave is blue. Dave is furry. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is red. Erin is smart. All smart, round people are blue. If someone is smart then they are round. All blue people are rough.
Charlie is smart.
@0: Charlie is white.[(triple1)] Dave is blue.[(triple2 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple7) -> rule2)) -> rule1))] Dave is furry.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5 OR ((triple2) -> rule3) OR ((((triple7 triple6) -> rule1)) -> rule3) OR ((((triple7 ((triple7) -> rule2)) -> rule1)) -> rule3))] Dave is round.[(triple6 OR ((triple7) -> rule2))] Dave is smart.[(triple7)] Dave is white.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] @1: Erin is round.[(((triple10) -> rule2))] @2: Erin is blue.[(((triple10 ((triple10) -> rule2)) -> rule1))] @3: Erin is rough.[(((((triple10 ((triple10) -> rule2)) -> rule1)) -> rule3))]