Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is not kind. Gary is nice. Gary is not red. If something is big and cold then it is blue. If something is big then it is cold. If Fiona is kind then Fiona is big. If something is cold and not big then it is furry. If something is nice then it is furry. If Gary is furry and Gary is not red then Gary is nice. If Gary is blue and Gary is kind then Gary is nice. If Gary is not kind then Gary is nice.
Gary is not furry.
@0: Fiona is big.[(triple1 OR ((triple5) -> rule3))] Fiona is blue.[(triple2 OR ((triple1 triple3) -> rule1) OR ((triple1 ((triple1) -> rule2)) -> rule1) OR ((((triple5) -> rule3) triple3) -> rule1) OR ((((triple5) -> rule3) ((triple1) -> rule2)) -> rule1) OR ((triple1 ((((triple5) -> rule3)) -> rule2)) -> rule1) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule2)) -> rule1))] Fiona is cold.[(triple3 OR ((triple1) -> rule2) OR ((((triple5) -> rule3)) -> rule2))] Fiona is furry.[(triple4 OR ((triple6) -> rule5))] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is red.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple8 triple10) -> rule1) OR ((triple8 ((triple8) -> rule2)) -> rule1))] Gary is cold.[(triple10 OR ((triple8) -> rule2))] Gary is furry.[(triple11 OR ((triple13) -> rule5) OR ((((triple12) -> rule8)) -> rule5))] Gary is nice.[(triple13 OR ((triple12) -> rule8) OR ((triple11 triple14) -> rule6))] Gary is not kind.[(triple12)] Gary is not red.[(triple14)]