Anne is blue. Anne is nice. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is young. Fiona is blue. Fiona is young. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is young. If Erin is cold then Erin is nice. All nice things are big. All blue things are young. Blue, cold things are red. If Fiona is cold and Fiona is big then Fiona is blue. If Gary is cold and Gary is quiet then Gary is red. If something is big then it is cold. If Fiona is blue and Fiona is nice then Fiona is quiet.
Fiona is quiet.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Erin is cold.[(triple3 OR ((((triple4) -> rule2)) -> rule7))] Erin is nice.[(triple4 OR ((triple3) -> rule1))] Erin is quiet.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is young.[(triple9 OR ((triple8) -> rule3))] Gary is big.[(triple10 OR ((triple13) -> rule2))] Gary is blue.[(triple11)] Gary is cold.[(triple12 OR ((triple10) -> rule7) OR ((((triple13) -> rule2)) -> rule7))] Gary is nice.[(triple13)] Gary is quiet.[(triple14)] Gary is red.[(triple15 OR ((triple11 triple12) -> rule4) OR ((triple12 triple14) -> rule6) OR ((triple11 ((triple10) -> rule7)) -> rule4) OR ((((triple10) -> rule7) triple14) -> rule6) OR ((triple11 ((((triple13) -> rule2)) -> rule7)) -> rule4) OR ((((((triple13) -> rule2)) -> rule7) triple14) -> rule6))] Gary is young.[(triple16 OR ((triple11) -> rule3))] @1: Anne is big.[(((triple2) -> rule2))] Anne is young.[(((triple1) -> rule3))] Erin is big.[(((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] @2: Anne is cold.[(((((triple2) -> rule2)) -> rule7))] @3: Anne is red.[(((triple1 ((((triple2) -> rule2)) -> rule7)) -> rule4))]