Fiona is furry. Fiona is not green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. Fiona is young. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is white. Gary is not young. If something is kind then it is nice. All young, nice things are furry. If something is furry and not young then it is kind. If Fiona is kind and Fiona is furry then Fiona is white. All nice things are red. If something is kind and not white then it is red.
Fiona is white.
@0: Fiona is furry.[(triple1 OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple3) -> rule1)) -> rule2))] Fiona is kind.[(triple3)] Fiona is nice.[(triple4 OR ((triple3) -> rule1))] Fiona is not green.[(triple2)] Fiona is red.[(triple5 OR ((triple4) -> rule5) OR ((((triple3) -> rule1)) -> rule5))] Fiona is white.[(triple6 OR ((triple3 triple1) -> rule4) OR ((triple3 ((triple7 triple4) -> rule2)) -> rule4) OR ((triple3 ((triple7 ((triple3) -> rule1)) -> rule2)) -> rule4))] Fiona is young.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is kind.[(triple10 OR ((triple8 triple14) -> rule3))] Gary is nice.[(triple11 OR ((triple10) -> rule1) OR ((((triple8 triple14) -> rule3)) -> rule1))] Gary is not young.[(triple14)] Gary is red.[(triple12 OR ((triple11) -> rule5) OR ((((triple10) -> rule1)) -> rule5) OR ((((((triple8 triple14) -> rule3)) -> rule1)) -> rule5))] Gary is white.[(triple13)]