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