Dave is quiet. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is white. If Dave is quiet and Dave is red then Dave is round. Quiet, cold things are white. Quiet things are cold. All round, white things are red. All white, cold things are red. Cold, big things are blue.
Dave is white.
@0: Dave is quiet.[(triple1)] Fiona is big.[(triple2)] Fiona is blue.[(triple3 OR ((triple4 triple2) -> rule6) OR ((((triple5) -> rule3) triple2) -> rule6))] Fiona is cold.[(triple4 OR ((triple5) -> rule3))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple7 triple4) -> rule5) OR ((triple7 ((triple5) -> rule3)) -> rule5) OR ((((triple5 triple4) -> rule2) triple4) -> rule5) OR ((((triple5 triple4) -> rule2) ((triple5) -> rule3)) -> rule5) OR ((((triple5 ((triple5) -> rule3)) -> rule2) triple4) -> rule5) OR ((((triple5 ((triple5) -> rule3)) -> rule2) ((triple5) -> rule3)) -> rule5))] Fiona is white.[(triple7 OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple5) -> rule3)) -> rule2))] @1: Dave is cold.[(((triple1) -> rule3))] @2: Dave is white.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: Dave is red.[(((((triple1 ((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule5))] @4: Dave is round.[(((triple1 ((((triple1 ((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule5)) -> rule1))]