Anne is big. Anne is not furry. Anne is green. Anne is nice. Bob is cold. Bob is furry. Fiona is smart. Gary is cold. Gary is furry. Gary is green. If Fiona is big then Fiona is cold. If someone is furry and not big then they are not smart. If someone is smart then they are green. If someone is cold and not furry then they are green. If someone is cold and not green then they are not nice. All green, smart people are nice. If someone is nice then they are kind. If someone is cold and not smart then they are not kind.
Fiona is nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Fiona is smart.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] @1: Anne is kind.[(((triple4) -> rule7))] Fiona is green.[(((triple7) -> rule3))] @2: Fiona is nice.[(((((triple7) -> rule3) triple7) -> rule6))] @3: Fiona is kind.[(((((((triple7) -> rule3) triple7) -> rule6)) -> rule7))]