Anne is quiet. Anne is rough. Bob is nice. Bob is rough. Bob is white. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is white. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Dave is white. Quiet people are nice. If someone is furry then they are round. Round, cold people are furry. Furry, round people are quiet. If Bob is rough and Bob is nice then Bob is furry. All cold, round people are nice.
Anne is cold.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is white.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7 OR ((((triple6 ((triple6) -> rule2)) -> rule4)) -> rule1))] Charlie is rough.[(triple8)] Charlie is white.[(triple9)] Dave is cold.[(triple10)] Dave is furry.[(triple11 OR ((triple14 triple10) -> rule3))] Dave is nice.[(triple12 OR ((triple13) -> rule1) OR ((triple10 triple14) -> rule6) OR ((((triple11 triple14) -> rule4)) -> rule1) OR ((triple10 ((triple11) -> rule2)) -> rule6) OR ((((triple11 ((triple11) -> rule2)) -> rule4)) -> rule1) OR ((((((triple14 triple10) -> rule3) triple14) -> rule4)) -> rule1) OR ((((((triple14 triple10) -> rule3) ((triple11) -> rule2)) -> rule4)) -> rule1))] Dave is quiet.[(triple13 OR ((triple11 triple14) -> rule4) OR ((triple11 ((triple11) -> rule2)) -> rule4) OR ((((triple14 triple10) -> rule3) triple14) -> rule4) OR ((((triple14 triple10) -> rule3) ((triple11) -> rule2)) -> rule4))] Dave is round.[(triple14 OR ((triple11) -> rule2))] Dave is white.[(triple15)] @1: Anne is nice.[(((triple1) -> rule1))] Bob is furry.[(((triple4 triple3) -> rule5))] Charlie is round.[(((triple6) -> rule2))] @2: Bob is round.[(((((triple4 triple3) -> rule5)) -> rule2))] Charlie is quiet.[(((triple6 ((triple6) -> rule2)) -> rule4))] @3: Bob is quiet.[(((((triple4 triple3) -> rule5) ((((triple4 triple3) -> rule5)) -> rule2)) -> rule4))]