Bob is blue. Bob is red. Charlie is furry. Charlie is green. Charlie is smart. Erin is not green. Erin is red. Erin is rough. Erin is round. Fiona is blue. Fiona is furry. Fiona is not green. Fiona is red. Fiona is rough. Fiona is not smart. All smart people are rough. All green, blue people are not smart. Green, rough people are round. If someone is smart and not rough then they are not round. All rough people are round. If Charlie is round then Charlie is red. If Erin is green and Erin is not rough then Erin is not red. If Erin is furry then Erin is red.
Fiona is not smart.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is smart.[(triple5)] Erin is not green.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9 OR ((triple8) -> rule5))] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is not green.[(triple12)] Fiona is not smart.[(triple15)] Fiona is red.[(triple13)] Fiona is rough.[(triple14)] @1: Charlie is rough.[(((triple5) -> rule1))] Fiona is round.[(((triple14) -> rule5))] @2: Charlie is round.[(((((triple5) -> rule1)) -> rule5) OR ((triple4 ((triple5) -> rule1)) -> rule3))] @3: Charlie is red.[(((((((triple5) -> rule1)) -> rule5)) -> rule6) OR ((((triple4 ((triple5) -> rule1)) -> rule3)) -> rule6))]