Bob is big. Bob is blue. Bob is cold. Bob is quiet. Bob is smart. Bob is white. Bob is young. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is not smart. Fiona is white. Fiona is young. If something is young and big then it is blue. All white, quiet things are cold. All blue, white things are cold. Big, cold things are quiet. If something is blue and not big then it is not white. If Fiona is not big and Fiona is not white then Fiona is not smart.
Fiona is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple7 triple1) -> rule1))] Bob is cold.[(triple3 OR ((triple2 triple6) -> rule3) OR ((triple6 triple4) -> rule2) OR ((((triple7 triple1) -> rule1) triple6) -> rule3))] Bob is quiet.[(triple4 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple2 triple6) -> rule3)) -> rule4) OR ((triple1 ((((triple7 triple1) -> rule1) triple6) -> rule3)) -> rule4))] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple14 triple8) -> rule1))] Fiona is cold.[(triple10 OR ((triple13 triple11) -> rule2) OR ((triple9 triple13) -> rule3) OR ((((triple14 triple8) -> rule1) triple13) -> rule3))] Fiona is not smart.[(triple12)] Fiona is quiet.[(triple11 OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple9 triple13) -> rule3)) -> rule4) OR ((triple8 ((((triple14 triple8) -> rule1) triple13) -> rule3)) -> rule4))] Fiona is white.[(triple13)] Fiona is young.[(triple14)]