Fiona is blue. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. White things are smart. If Fiona is smart and Fiona is furry then Fiona is rough. Blue, round things are white. If Fiona is smart and Fiona is round then Fiona is white. All white, furry things are smart. If something is furry and blue then it is green.
Fiona is smart.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((triple2 triple1) -> rule6))] Fiona is rough.[(triple4 OR ((triple6 triple2) -> rule2) OR ((((triple7) -> rule1) triple2) -> rule2) OR ((((triple7 triple2) -> rule5) triple2) -> rule2) OR ((((((triple1 triple5) -> rule3)) -> rule1) triple2) -> rule2) OR ((((((triple1 triple5) -> rule3) triple2) -> rule5) triple2) -> rule2))] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple7) -> rule1) OR ((triple7 triple2) -> rule5) OR ((((triple1 triple5) -> rule3)) -> rule1) OR ((((triple1 triple5) -> rule3) triple2) -> rule5))] Fiona is white.[(triple7 OR ((triple1 triple5) -> rule3) OR ((triple6 triple5) -> rule4))]