Anne is round. Bob is round. Bob is smart. Dave is red. Dave is white. Fiona is big. Fiona is smart. If someone is rough and not cold then they are round. If someone is rough then they are not white. If someone is round and not cold then they are white. Big people are rough. All round people are red. Smart people are big.
Fiona is white.
@0: Anne is round.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Dave is red.[(triple4)] Dave is white.[(triple5)] Fiona is big.[(triple6 OR ((triple7) -> rule6))] Fiona is smart.[(triple7)] @1: Anne is red.[(((triple1) -> rule5))] Bob is big.[(((triple3) -> rule6))] Bob is red.[(((triple2) -> rule5))] Fiona is rough.[(((triple6) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] @2: Bob is rough.[(((((triple3) -> rule6)) -> rule4))] Fiona is not white.[(((((triple6) -> rule4)) -> rule2) OR ((((((triple7) -> rule6)) -> rule4)) -> rule2))] @3: Bob is not white.[(((((((triple3) -> rule6)) -> rule4)) -> rule2))]