Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is young. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is young. If Gary is quiet then Gary is furry. All furry, kind things are quiet. Kind, blue things are furry. If something is furry and kind then it is cold. If Gary is blue then Gary is young. If something is round then it is quiet. Round things are quiet. If Fiona is young and Fiona is kind then Fiona is blue.
Gary is cold.
@0: Fiona is blue.[(triple1 OR ((triple7 triple4) -> rule8))] Fiona is cold.[(triple2 OR ((triple3 triple4) -> rule4) OR ((((triple4 triple1) -> rule3) triple4) -> rule4) OR ((((triple4 ((triple7 triple4) -> rule8)) -> rule3) triple4) -> rule4))] Fiona is furry.[(triple3 OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple7 triple4) -> rule8)) -> rule3))] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5 OR ((triple6) -> rule6) OR ((triple6) -> rule7) OR ((triple3 triple4) -> rule2) OR ((((triple4 triple1) -> rule3) triple4) -> rule2) OR ((((triple4 ((triple7 triple4) -> rule8)) -> rule3) triple4) -> rule2))] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9 OR ((triple10 triple11) -> rule4) OR ((((triple12) -> rule1) triple11) -> rule4) OR ((((triple11 triple8) -> rule3) triple11) -> rule4) OR ((((((triple13) -> rule6)) -> rule1) triple11) -> rule4) OR ((((((triple13) -> rule7)) -> rule1) triple11) -> rule4))] Gary is furry.[(triple10 OR ((triple12) -> rule1) OR ((triple11 triple8) -> rule3) OR ((((triple13) -> rule6)) -> rule1) OR ((((triple13) -> rule7)) -> rule1))] Gary is kind.[(triple11)] Gary is quiet.[(triple12 OR ((triple13) -> rule6) OR ((triple13) -> rule7) OR ((triple10 triple11) -> rule2) OR ((((triple11 triple8) -> rule3) triple11) -> rule2))] Gary is round.[(triple13)] Gary is young.[(triple14 OR ((triple8) -> rule5))]