Anne is big. Anne is cold. Anne is furry. Anne is red. Anne is young. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is round. Erin is young. Fiona is cold. Fiona is furry. Fiona is kind. All red, kind things are big. All round, kind things are furry. Round things are kind. If something is red and kind then it is young. Young, red things are cold. All round things are kind. Young, cold things are red. If Fiona is cold and Fiona is furry then Fiona is young.
Fiona is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple4) -> rule5))] Anne is furry.[(triple3)] Anne is red.[(triple4 OR ((triple5 triple2) -> rule7))] Anne is young.[(triple5)] Erin is big.[(triple6 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple11) -> rule3)) -> rule1) OR ((triple10 ((triple11) -> rule6)) -> rule1) OR ((((triple12 triple7) -> rule7) triple9) -> rule1) OR ((((triple12 triple7) -> rule7) ((triple11) -> rule3)) -> rule1) OR ((((triple12 triple7) -> rule7) ((triple11) -> rule6)) -> rule1))] Erin is cold.[(triple7 OR ((triple12 triple10) -> rule5) OR ((((triple10 triple9) -> rule4) triple10) -> rule5) OR ((((triple10 ((triple11) -> rule3)) -> rule4) triple10) -> rule5) OR ((((triple10 ((triple11) -> rule6)) -> rule4) triple10) -> rule5))] Erin is furry.[(triple8 OR ((triple11 triple9) -> rule2) OR ((triple11 ((triple11) -> rule3)) -> rule2) OR ((triple11 ((triple11) -> rule6)) -> rule2))] Erin is kind.[(triple9 OR ((triple11) -> rule3) OR ((triple11) -> rule6))] Erin is red.[(triple10 OR ((triple12 triple7) -> rule7))] Erin is round.[(triple11)] Erin is young.[(triple12 OR ((triple10 triple9) -> rule4) OR ((triple10 ((triple11) -> rule3)) -> rule4) OR ((triple10 ((triple11) -> rule6)) -> rule4))] Fiona is cold.[(triple13)] Fiona is furry.[(triple14)] Fiona is kind.[(triple15)] @1: Fiona is young.[(((triple13 triple14) -> rule8))] @2: Fiona is red.[(((((triple13 triple14) -> rule8) triple13) -> rule7))] @3: Fiona is big.[(((((((triple13 triple14) -> rule8) triple13) -> rule7) triple15) -> rule1))]