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