Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is white. Erin is big. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Fiona is furry. Fiona is nice. Fiona is quiet. If Erin is nice then Erin is white. If Fiona is big then Fiona is red. If Fiona is nice and Fiona is big then Fiona is furry.
Bob is white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is white.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is nice.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Fiona is furry.[(triple13)] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] @1: Erin is white.[(((triple10) -> rule1))]