Anne is big. Anne is furry. Anne is red. Anne is round. Bob is big. Bob is not blue. Bob is not cold. Bob is not nice. Bob is round. Erin is blue. Erin is furry. Fiona is not blue. Fiona is not cold. Fiona is furry. Fiona is round. If Anne is furry then Anne is big. If Anne is blue and Anne is big then Anne is not furry. If Erin is red then Erin is not furry. Furry, round people are red. If someone is big and not cold then they are red. If someone is round and not big then they are not red. All cold people are round. If someone is blue and red then they are round.
Anne is blue.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple2 triple4) -> rule4))] Anne is round.[(triple4)] Bob is big.[(triple5)] Bob is not blue.[(triple6)] Bob is not cold.[(triple7)] Bob is not nice.[(triple8)] Bob is round.[(triple9)] Erin is blue.[(triple10)] Erin is furry.[(triple11)] Fiona is furry.[(triple14)] Fiona is not blue.[(triple12)] Fiona is not cold.[(triple13)] Fiona is round.[(triple15)] @1: Bob is red.[(((triple5 triple7) -> rule5))] Fiona is red.[(((triple14 triple15) -> rule4))]