Bob is cold. Bob is white. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is white. Charlie is young. Erin is not cold. Erin is furry. Erin is not quiet. Erin is white. Erin is not young. Fiona is not big. Fiona is quiet. Fiona is white. If Fiona is young and Fiona is not furry then Fiona is quiet. Cold people are young. All young people are red. All cold people are not quiet. If someone is cold and not young then they are white. If someone is furry and young then they are white. If someone is furry and not big then they are white. If Charlie is big and Charlie is white then Charlie is quiet.
Bob is big.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Charlie is furry.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple7) -> rule3))] Charlie is white.[(triple6 OR ((triple3 triple7) -> rule6))] Charlie is young.[(triple7)] Erin is furry.[(triple9)] Erin is not cold.[(triple8)] Erin is not quiet.[(triple10)] Erin is not young.[(triple12)] Erin is white.[(triple11)] Fiona is not big.[(triple13)] Fiona is quiet.[(triple14)] Fiona is white.[(triple15)] @1: Bob is not quiet.[(((triple1) -> rule4))] Bob is young.[(((triple1) -> rule2))] @2: Bob is red.[(((((triple1) -> rule2)) -> rule3))]