Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is smart. Erin is young. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is young. All young things are furry. If something is young and blue then it is cold. If something is kind and smart then it is cold. If something is rough then it is young. All smart, cold things are young. If something is cold and furry then it is blue. Rough things are blue. If Fiona is rough then Fiona is young.
Fiona is not cold.
@0: Erin is blue.[(triple1 OR ((triple5) -> rule7) OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple7) -> rule1)) -> rule6) OR ((((triple4 triple6) -> rule3) triple3) -> rule6) OR ((((triple4 triple6) -> rule3) ((triple7) -> rule1)) -> rule6) OR ((triple2 ((((triple5) -> rule4)) -> rule1)) -> rule6) OR ((triple2 ((((triple6 triple2) -> rule5)) -> rule1)) -> rule6) OR ((((triple4 triple6) -> rule3) ((((triple5) -> rule4)) -> rule1)) -> rule6) OR ((((triple4 triple6) -> rule3) ((((triple6 triple2) -> rule5)) -> rule1)) -> rule6) OR ((triple2 ((((triple6 ((triple4 triple6) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((triple4 triple6) -> rule3) ((((triple6 ((triple4 triple6) -> rule3)) -> rule5)) -> rule1)) -> rule6))] Erin is cold.[(triple2 OR ((triple4 triple6) -> rule3) OR ((triple7 triple1) -> rule2) OR ((triple7 ((triple5) -> rule7)) -> rule2) OR ((((triple5) -> rule4) triple1) -> rule2) OR ((((triple5) -> rule4) ((triple5) -> rule7)) -> rule2))] Erin is furry.[(triple3 OR ((triple7) -> rule1) OR ((((triple5) -> rule4)) -> rule1) OR ((((triple6 triple2) -> rule5)) -> rule1) OR ((((triple6 ((triple4 triple6) -> rule3)) -> rule5)) -> rule1))] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7 OR ((triple5) -> rule4) OR ((triple6 triple2) -> rule5) OR ((triple6 ((triple4 triple6) -> rule3)) -> rule5))] Fiona is cold.[(triple8 OR ((triple9 triple11) -> rule3) OR ((triple12 ((triple10) -> rule7)) -> rule2) OR ((((triple10) -> rule4) ((triple10) -> rule7)) -> rule2) OR ((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2))] Fiona is kind.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12 OR ((triple10) -> rule4) OR ((triple10) -> rule8) OR ((triple11 triple8) -> rule5) OR ((triple11 ((triple9 triple11) -> rule3)) -> rule5))] @1: Fiona is blue.[(((triple10) -> rule7) OR ((triple8 ((triple12) -> rule1)) -> rule6) OR ((((triple9 triple11) -> rule3) ((triple12) -> rule1)) -> rule6) OR ((triple8 ((((triple10) -> rule4)) -> rule1)) -> rule6) OR ((triple8 ((((triple10) -> rule8)) -> rule1)) -> rule6) OR ((triple8 ((((triple11 triple8) -> rule5)) -> rule1)) -> rule6) OR ((((triple9 triple11) -> rule3) ((((triple10) -> rule4)) -> rule1)) -> rule6) OR ((((triple9 triple11) -> rule3) ((((triple10) -> rule8)) -> rule1)) -> rule6) OR ((((triple9 triple11) -> rule3) ((((triple11 triple8) -> rule5)) -> rule1)) -> rule6) OR ((triple8 ((((triple11 ((triple9 triple11) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((((triple9 triple11) -> rule3) ((((triple11 ((triple9 triple11) -> rule3)) -> rule5)) -> rule1)) -> rule6))] Fiona is furry.[(((triple12) -> rule1) OR ((((triple10) -> rule4)) -> rule1) OR ((((triple10) -> rule8)) -> rule1) OR ((((triple11 triple8) -> rule5)) -> rule1) OR ((((triple11 ((triple9 triple11) -> rule3)) -> rule5)) -> rule1))]