Charlie is nice. Charlie is rough. Dave is red. Erin is big. Erin is not nice. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Fiona is not round. Green things are furry. All nice things are furry. If something is rough then it is green. Furry, green things are round. Red things are not round. If something is round then it is not red. All round things are big. If Fiona is red and Fiona is not green then Fiona is big.
Charlie is red.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Dave is red.[(triple3)] Erin is big.[(triple4)] Erin is not nice.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7 OR ((triple8) -> rule2))] Fiona is nice.[(triple8)] Fiona is not round.[(triple10 OR ((triple9) -> rule5))] Fiona is red.[(triple9)] @1: Charlie is furry.[(((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule1))] Charlie is green.[(((triple2) -> rule3))] Dave is not round.[(((triple3) -> rule5))] @2: Charlie is round.[(((((triple1) -> rule2) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule4))] @3: Charlie is big.[(((((((triple1) -> rule2) ((triple2) -> rule3)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule4)) -> rule7))] Charlie is not red.[(((((((triple1) -> rule2) ((triple2) -> rule3)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule4)) -> rule6))]