Charlie is big. Charlie is kind. Charlie is smart. Dave is red. Dave is rough. Erin is not big. Erin is blue. Erin is not red. Fiona is not big. Fiona is red. Smart things are red. If something is blue then it is not red. All red, rough things are kind. If something is kind and red then it is smart. Kind, rough things are smart. If something is red and kind then it is smart. If Dave is blue then Dave is rough. All rough, smart things are not round.
Erin is not smart.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Dave is red.[(triple4)] Dave is rough.[(triple5)] Erin is blue.[(triple7)] Erin is not big.[(triple6)] Erin is not red.[(triple8 OR ((triple7) -> rule2))] Fiona is not big.[(triple9)] Fiona is red.[(triple10)] @1: Charlie is red.[(((triple3) -> rule1))] Dave is kind.[(((triple4 triple5) -> rule3))] @2: Dave is smart.[(((triple4 ((triple4 triple5) -> rule3)) -> rule6) OR ((((triple4 triple5) -> rule3) triple4) -> rule4) OR ((((triple4 triple5) -> rule3) triple5) -> rule5))] @3: Dave is not round.[(((triple5 ((triple4 ((triple4 triple5) -> rule3)) -> rule6)) -> rule8) OR ((triple5 ((((triple4 triple5) -> rule3) triple4) -> rule4)) -> rule8) OR ((triple5 ((((triple4 triple5) -> rule3) triple5) -> rule5)) -> rule8))]