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