Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is not round. Gary is big. Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is not red. Gary is round. If something is furry then it is not round. Nice things are big.
Gary is not red.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is not round.[(triple5 OR ((triple1) -> rule1))] Fiona is red.[(triple4)] Gary is big.[(triple6 OR ((triple10) -> rule2))] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is not furry.[(triple7)] Gary is not red.[(triple11)] Gary is round.[(triple12)] @1: Fiona is big.[(((triple3) -> rule2))]