Bob is cold. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is not white. Erin is cold. Erin is kind. Erin is quiet. Fiona is not cold. All white things are quiet. If something is round and not cold then it is not quiet. All cold things are round. All kind things are nice. Round, quiet things are rough. If Bob is nice then Bob is quiet. All round things are kind.
Fiona is not rough.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] Dave is kind.[(triple3 OR ((((triple2) -> rule3)) -> rule7))] Dave is nice.[(triple4 OR ((triple3) -> rule4) OR ((((((triple2) -> rule3)) -> rule7)) -> rule4))] Dave is not white.[(triple7)] Dave is quiet.[(triple5)] Dave is rough.[(triple6 OR ((((triple2) -> rule3) triple5) -> rule5))] Erin is cold.[(triple8)] Erin is kind.[(triple9 OR ((((triple8) -> rule3)) -> rule7))] Erin is quiet.[(triple10)] Fiona is not cold.[(triple11)] @1: Bob is round.[(((triple1) -> rule3))] Dave is round.[(((triple2) -> rule3))] Erin is nice.[(((triple9) -> rule4) OR ((((((triple8) -> rule3)) -> rule7)) -> rule4))] Erin is round.[(((triple8) -> rule3))] @2: Bob is kind.[(((((triple1) -> rule3)) -> rule7))] Erin is rough.[(((((triple8) -> rule3) triple10) -> rule5))] @3: Bob is nice.[(((((((triple1) -> rule3)) -> rule7)) -> rule4))] @4: Bob is quiet.[(((((((((triple1) -> rule3)) -> rule7)) -> rule4)) -> rule6))] @5: Bob is rough.[(((((triple1) -> rule3) ((((((((triple1) -> rule3)) -> rule7)) -> rule4)) -> rule6)) -> rule5))]