Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Anne is round. Fiona is big. Fiona is cold. Fiona is red. Red things are quiet. If Anne is round and Anne is quiet then Anne is big. If something is round then it is big. Nice things are furry. If something is nice and furry then it is quiet. Big, round things are quiet. Furry, quiet things are cold. All round, quiet things are big.
Fiona is not furry.
@0: Anne is big.[(triple1 OR ((triple7) -> rule3) OR ((triple7 triple5) -> rule2) OR ((triple7 triple5) -> rule8) OR ((triple7 ((triple6) -> rule1)) -> rule2) OR ((triple7 ((triple6) -> rule1)) -> rule8) OR ((triple7 ((triple4 triple3) -> rule5)) -> rule2) OR ((triple7 ((triple4 triple3) -> rule5)) -> rule8) OR ((triple7 ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2) OR ((triple7 ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule8))] Anne is cold.[(triple2 OR ((triple3 triple5) -> rule7) OR ((triple3 ((triple6) -> rule1)) -> rule7) OR ((triple3 ((triple1 triple7) -> rule6)) -> rule7) OR ((triple3 ((triple4 triple3) -> rule5)) -> rule7) OR ((((triple4) -> rule4) triple5) -> rule7) OR ((((triple4) -> rule4) ((triple6) -> rule1)) -> rule7) OR ((((triple4) -> rule4) ((triple1 triple7) -> rule6)) -> rule7) OR ((((triple4) -> rule4) ((triple4 triple3) -> rule5)) -> rule7) OR ((triple3 ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((triple3 ((((triple7) -> rule3) triple7) -> rule6)) -> rule7) OR ((((triple4) -> rule4) ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule7) OR ((((triple4) -> rule4) ((((triple7) -> rule3) triple7) -> rule6)) -> rule7))] Anne is furry.[(triple3 OR ((triple4) -> rule4))] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple6) -> rule1) OR ((triple1 triple7) -> rule6) OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule4)) -> rule5) OR ((((triple7) -> rule3) triple7) -> rule6))] Anne is red.[(triple6)] Anne is round.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is red.[(triple10)] @1: Fiona is quiet.[(((triple10) -> rule1))]