Fiona is blue. Fiona is nice. Fiona is white. All furry, kind things are blue. If Fiona is white and Fiona is kind then Fiona is nice. Round things are kind. If something is kind and nice then it is blue. If Fiona is nice then Fiona is round. Furry things are nice. All nice things are kind. If Fiona is blue and Fiona is furry then Fiona is nice.
Fiona is blue.
@0: Fiona is blue.[(triple1 OR ((((triple2) -> rule7) triple2) -> rule4) OR ((((((triple2) -> rule5)) -> rule3) triple2) -> rule4))] Fiona is nice.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is kind.[(((triple2) -> rule7) OR ((((triple2) -> rule5)) -> rule3))] Fiona is round.[(((triple2) -> rule5))]