Anne is big. Anne is cold. Anne is furry. Anne is not green. Anne is kind. Anne is nice. Anne is smart. Fiona is big. Fiona is not cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Gary is not furry. Gary is nice. If something is kind then it is nice. All green, smart things are nice. If Fiona is cold and Fiona is big then Fiona is kind. Smart things are not green. If something is smart and kind then it is not green. If Gary is cold and Gary is nice then Gary is not green. If something is smart and not green then it is furry. If something is big and not smart then it is furry.
Fiona is green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple7) -> rule4)) -> rule7) OR ((triple7 ((triple7 triple5) -> rule5)) -> rule7))] Anne is kind.[(triple5)] Anne is nice.[(triple6 OR ((triple5) -> rule1))] Anne is not green.[(triple4 OR ((triple7) -> rule4) OR ((triple7 triple5) -> rule5))] Anne is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13 OR ((triple12) -> rule1))] Fiona is not cold.[(triple9)] Gary is nice.[(triple15)] Gary is not furry.[(triple14)]