Bob is cold. Bob is nice. Bob is white. Erin is big. Erin is white. Fiona is big. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. If Fiona is quiet and Fiona is big then Fiona is red. If something is quiet then it is big. Cold, nice things are big.
Erin is white.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Erin is big.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6 OR ((triple10) -> rule2) OR ((triple8 triple9) -> rule3))] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11 OR ((triple10 triple6) -> rule1) OR ((triple10 ((triple10) -> rule2)) -> rule1) OR ((triple10 ((triple8 triple9) -> rule3)) -> rule1))] Fiona is white.[(triple12)] @1: Bob is big.[(((triple1 triple2) -> rule3))]