Anne is furry. Anne is red. Anne is smart. Charlie is furry. Charlie is not smart. Fiona is furry. Fiona is green. Fiona is smart. Fiona is young. Gary is green. If someone is blue then they are not rough. Red, green people are rough. If someone is rough and green then they are smart. If someone is green and red then they are smart. All green, red people are blue. All green people are blue. If someone is blue then they are furry. If Gary is green and Gary is not blue then Gary is furry.
Fiona is smart.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Charlie is furry.[(triple4)] Charlie is not smart.[(triple5)] Fiona is furry.[(triple6 OR ((((triple7) -> rule6)) -> rule7))] Fiona is green.[(triple7)] Fiona is smart.[(triple8)] Fiona is young.[(triple9)] Gary is green.[(triple10)] @1: Fiona is blue.[(((triple7) -> rule6))] Gary is blue.[(((triple10) -> rule6))] @2: Fiona is not rough.[(((((triple7) -> rule6)) -> rule1))] Gary is furry.[(((((triple10) -> rule6)) -> rule7))] Gary is not rough.[(((((triple10) -> rule6)) -> rule1))]