Charlie is big. Charlie is blue. Charlie is green. Charlie is rough. Fiona is big. Fiona is red. Fiona is rough. All big, red things are rough. If Charlie is rough then Charlie is blue. If something is blue then it is furry. If something is blue and furry then it is red. Big things are red. If something is kind then it is green.
Charlie is not green.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2 OR ((triple4) -> rule2) OR ((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule2))] Charlie is green.[(triple3)] Charlie is rough.[(triple4 OR ((triple1 ((triple1) -> rule5)) -> rule1) OR ((triple1 ((triple2 ((triple2) -> rule3)) -> rule4)) -> rule1))] Fiona is big.[(triple5)] Fiona is red.[(triple6 OR ((triple5) -> rule5))] Fiona is rough.[(triple7 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple5) -> rule5)) -> rule1))] @1: Charlie is furry.[(((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple1 ((triple1) -> rule5)) -> rule1)) -> rule2)) -> rule3))] Charlie is red.[(((triple1) -> rule5) OR ((triple2 ((triple2) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((triple2) -> rule3)) -> rule4) OR ((triple2 ((((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule4))]