Anne is round. Bob is blue. Bob is round. Bob is smart. Dave is nice. Dave is round. Dave is smart. Dave is white. Dave is young. Fiona is smart. If something is smart then it is white. If something is white then it is not rough. White things are blue. If Fiona is not white then Fiona is nice. All blue things are young. If something is white and not blue then it is young. If something is white then it is nice. All young, smart things are nice.
Dave is white.
@0: Anne is round.[(triple1)] Bob is blue.[(triple2 OR ((((triple4) -> rule1)) -> rule3))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Dave is nice.[(triple5 OR ((triple8) -> rule7) OR ((triple9 triple7) -> rule8) OR ((((triple7) -> rule1)) -> rule7) OR ((((((triple8) -> rule3)) -> rule5) triple7) -> rule8) OR ((((((((triple7) -> rule1)) -> rule3)) -> rule5) triple7) -> rule8))] Dave is round.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8 OR ((triple7) -> rule1))] Dave is young.[(triple9 OR ((((triple8) -> rule3)) -> rule5) OR ((((((triple7) -> rule1)) -> rule3)) -> rule5))] Fiona is smart.[(triple10)] @1: Bob is white.[(((triple4) -> rule1))] Bob is young.[(((triple2) -> rule5) OR ((((((triple4) -> rule1)) -> rule3)) -> rule5))] Dave is blue.[(((triple8) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Dave is not rough.[(((triple8) -> rule2) OR ((((triple7) -> rule1)) -> rule2))] Fiona is white.[(((triple10) -> rule1))] @2: Bob is nice.[(((((triple4) -> rule1)) -> rule7) OR ((((triple2) -> rule5) triple4) -> rule8) OR ((((((((triple4) -> rule1)) -> rule3)) -> rule5) triple4) -> rule8))] Bob is not rough.[(((((triple4) -> rule1)) -> rule2))] Fiona is blue.[(((((triple10) -> rule1)) -> rule3))] Fiona is nice.[(((((triple10) -> rule1)) -> rule7) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule5) triple10) -> rule8))] Fiona is not rough.[(((((triple10) -> rule1)) -> rule2))] @3: Fiona is young.[(((((((triple10) -> rule1)) -> rule3)) -> rule5))]