Anne is big. Anne is quiet. Anne is not smart. Bob is blue. Bob is quiet. Dave is blue. Fiona is big. Fiona is cold. Fiona is quiet. Fiona is smart. Smart people are big. Blue, red people are big. If someone is cold and not blue then they are red. All cold people are smart. Blue people are cold. If Bob is big and Bob is cold then Bob is not red. If someone is smart and not red then they are white.
Fiona is red.
@0: Anne is big.[(triple1)] Anne is not smart.[(triple3)] Anne is quiet.[(triple2)] Bob is blue.[(triple4)] Bob is quiet.[(triple5)] Dave is blue.[(triple6)] Fiona is big.[(triple7 OR ((triple10) -> rule1) OR ((((triple8) -> rule4)) -> rule1))] Fiona is cold.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule4))] @1: Bob is cold.[(((triple4) -> rule5))] Dave is cold.[(((triple6) -> rule5))] @2: Bob is smart.[(((((triple4) -> rule5)) -> rule4))] Dave is smart.[(((((triple6) -> rule5)) -> rule4))] @3: Bob is big.[(((((((triple4) -> rule5)) -> rule4)) -> rule1))] Dave is big.[(((((((triple6) -> rule5)) -> rule4)) -> rule1))] @4: Bob is not red.[(((((((((triple4) -> rule5)) -> rule4)) -> rule1) ((triple4) -> rule5)) -> rule6))] @5: Bob is white.[(((((((triple4) -> rule5)) -> rule4) ((((((((triple4) -> rule5)) -> rule4)) -> rule1) ((triple4) -> rule5)) -> rule6)) -> rule7))]