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