Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is round. Fiona is smart. If someone is nice then they are green. If Fiona is smart then Fiona is green. All blue people are nice. If someone is cold then they are nice. Nice, green people are cold. All nice, cold people are green.
Fiona is round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule5) OR ((triple5 ((triple7) -> rule2)) -> rule5) OR ((((triple2) -> rule3) triple4) -> rule5) OR ((((triple2) -> rule3) ((triple5) -> rule1)) -> rule5) OR ((((triple2) -> rule3) ((triple7) -> rule2)) -> rule5) OR ((triple5 ((((triple2) -> rule3)) -> rule1)) -> rule5) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule1)) -> rule5))] Fiona is green.[(triple4 OR ((triple5) -> rule1) OR ((triple7) -> rule2) OR ((triple5 triple3) -> rule6) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple3) -> rule4)) -> rule1) OR ((((triple2) -> rule3) triple3) -> rule6) OR ((((triple3) -> rule4) triple3) -> rule6))] Fiona is nice.[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule4))] Fiona is round.[(triple6)] Fiona is smart.[(triple7)]