Fiona is blue. Fiona is kind. Fiona is smart. If someone is nice and smart then they are round. If someone is furry then they are nice. If Fiona is smart and Fiona is kind then Fiona is furry. All round people are green. Kind, green people are smart. If someone is kind then they are smart.
Fiona is nice.
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2)] Fiona is smart.[(triple3 OR ((triple2) -> rule6))] @1: Fiona is furry.[(((triple3 triple2) -> rule3) OR ((((triple2) -> rule6) triple2) -> rule3))] @2: Fiona is nice.[(((((triple3 triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule6) triple2) -> rule3)) -> rule2))] @3: Fiona is round.[(((((((triple3 triple2) -> rule3)) -> rule2) triple3) -> rule1) OR ((((((triple3 triple2) -> rule3)) -> rule2) ((triple2) -> rule6)) -> rule1) OR ((((((((triple2) -> rule6) triple2) -> rule3)) -> rule2) triple3) -> rule1) OR ((((((((triple2) -> rule6) triple2) -> rule3)) -> rule2) ((triple2) -> rule6)) -> rule1))] @4: Fiona is green.[(((((((((triple3 triple2) -> rule3)) -> rule2) triple3) -> rule1)) -> rule4) OR ((((((((triple3 triple2) -> rule3)) -> rule2) ((triple2) -> rule6)) -> rule1)) -> rule4) OR ((((((((((triple2) -> rule6) triple2) -> rule3)) -> rule2) triple3) -> rule1)) -> rule4) OR ((((((((((triple2) -> rule6) triple2) -> rule3)) -> rule2) ((triple2) -> rule6)) -> rule1)) -> rule4))]