Charlie is rough. Fiona is nice. If Fiona is nice then Fiona is rough. All nice people are smart. If Fiona is rough then Fiona is smart. If someone is rough then they are nice. If someone is smart then they are blue. All green, rough people are round. If Fiona is green and Fiona is smart then Fiona is young. All rough, smart people are round.
Fiona is nice.
@0: Charlie is rough.[(triple1)] Fiona is nice.[(triple2)] @1: Charlie is nice.[(((triple1) -> rule4))] Fiona is rough.[(((triple2) -> rule1))] Fiona is smart.[(((triple2) -> rule2) OR ((((triple2) -> rule1)) -> rule3))] @2: Charlie is smart.[(((((triple1) -> rule4)) -> rule2))] Fiona is blue.[(((((triple2) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule3)) -> rule5))] Fiona is round.[(((((triple2) -> rule1) ((triple2) -> rule2)) -> rule8) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule3)) -> rule8))] @3: Charlie is blue.[(((((((triple1) -> rule4)) -> rule2)) -> rule5))] Charlie is round.[(((triple1 ((((triple1) -> rule4)) -> rule2)) -> rule8))]