Anne is big. Anne is blue. Charlie is blue. Charlie is furry. Charlie is red. Charlie is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Gary is red. All big, quiet things are smart. If something is big then it is cold. All big things are furry. If Gary is blue and Gary is cold then Gary is quiet. Furry, quiet things are cold. All red things are smart.
Anne is blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6 OR ((triple5) -> rule6))] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9 OR ((triple7) -> rule2))] Fiona is furry.[(triple10 OR ((triple7) -> rule3))] Fiona is red.[(triple11)] Gary is red.[(triple12)] @1: Anne is cold.[(((triple1) -> rule2))] Anne is furry.[(((triple1) -> rule3))] Fiona is smart.[(((triple11) -> rule6))] Gary is smart.[(((triple12) -> rule6))]