Anne is cold. Anne is green. Erin is big. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Gary is round. Gary is smart. If someone is round then they are cold. If Erin is green then Erin is round. Blue people are furry. If someone is green then they are smart. All green people are furry. If someone is cold then they are blue. If Erin is green then Erin is furry. If someone is blue and round then they are green.
Gary is smart.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Erin is big.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5 OR ((triple6) -> rule6) OR ((((triple9) -> rule1)) -> rule6))] Fiona is cold.[(triple6 OR ((triple9) -> rule1))] Fiona is furry.[(triple7 OR ((triple5) -> rule3) OR ((triple8) -> rule5) OR ((((triple6) -> rule6)) -> rule3) OR ((((triple5 triple9) -> rule8)) -> rule5) OR ((((((triple9) -> rule1)) -> rule6)) -> rule3) OR ((((((triple6) -> rule6) triple9) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8)) -> rule5))] Fiona is green.[(triple8 OR ((triple5 triple9) -> rule8) OR ((((triple6) -> rule6) triple9) -> rule8) OR ((((((triple9) -> rule1)) -> rule6) triple9) -> rule8))] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule4) OR ((((triple5 triple9) -> rule8)) -> rule4) OR ((((((triple6) -> rule6) triple9) -> rule8)) -> rule4) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8)) -> rule4))] Gary is round.[(triple11)] Gary is smart.[(triple12 OR ((((((((triple11) -> rule1)) -> rule6) triple11) -> rule8)) -> rule4))] @1: Anne is blue.[(((triple1) -> rule6))] Anne is furry.[(((triple2) -> rule5) OR ((((triple1) -> rule6)) -> rule3))] Anne is smart.[(((triple2) -> rule4))] Gary is cold.[(((triple11) -> rule1))] @2: Gary is blue.[(((((triple11) -> rule1)) -> rule6))] @3: Gary is furry.[(((((((triple11) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple11) -> rule1)) -> rule6) triple11) -> rule8)) -> rule5))] Gary is green.[(((((((triple11) -> rule1)) -> rule6) triple11) -> rule8))]