Anne is blue. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. Dave is quiet. Fiona is white. Harry is blue. Harry is nice. Harry is round. Harry is young. All blue people are quiet. If someone is quiet and round then they are white. Rough, white people are blue. All young people are round. Blue people are young. If someone is young then they are quiet. All young, white people are round. All blue, nice people are round.
Anne is round.
@0: Anne is blue.[(triple1 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple3 triple5) -> rule2)) -> rule3))] Anne is nice.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule1) OR ((((triple1) -> rule5)) -> rule6) OR ((((triple4 triple6) -> rule3)) -> rule1) OR ((((((triple4 triple6) -> rule3)) -> rule5)) -> rule6))] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple1 triple2) -> rule8) OR ((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule5) triple6) -> rule7) OR ((((triple4 triple6) -> rule3) triple2) -> rule8) OR ((((((triple4 triple6) -> rule3)) -> rule5)) -> rule4) OR ((((((triple4 triple6) -> rule3)) -> rule5) triple6) -> rule7))] Anne is white.[(triple6 OR ((triple3 triple5) -> rule2) OR ((triple3 ((triple1 triple2) -> rule8)) -> rule2) OR ((((triple1) -> rule1) triple5) -> rule2) OR ((((triple1) -> rule1) ((triple1 triple2) -> rule8)) -> rule2) OR ((triple3 ((((triple1) -> rule5)) -> rule4)) -> rule2) OR ((((((triple1) -> rule5)) -> rule6) triple5) -> rule2) OR ((((triple1) -> rule1) ((((triple1) -> rule5)) -> rule4)) -> rule2) OR ((((((triple1) -> rule5)) -> rule6) ((triple1 triple2) -> rule8)) -> rule2) OR ((((((triple1) -> rule5)) -> rule6) ((((triple1) -> rule5)) -> rule4)) -> rule2))] Dave is quiet.[(triple7)] Fiona is white.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] Harry is round.[(triple11 OR ((triple12) -> rule4) OR ((triple9 triple10) -> rule8) OR ((((triple9) -> rule5)) -> rule4))] Harry is young.[(triple12 OR ((triple9) -> rule5))] @1: Anne is young.[(((triple1) -> rule5) OR ((((triple4 triple6) -> rule3)) -> rule5) OR ((((triple4 ((triple3 triple5) -> rule2)) -> rule3)) -> rule5))] Harry is quiet.[(((triple12) -> rule6) OR ((triple9) -> rule1) OR ((((triple9) -> rule5)) -> rule6))] @2: Harry is white.[(((((triple12) -> rule6) triple11) -> rule2) OR ((((triple9) -> rule1) triple11) -> rule2) OR ((((triple12) -> rule6) ((triple12) -> rule4)) -> rule2) OR ((((triple12) -> rule6) ((triple9 triple10) -> rule8)) -> rule2) OR ((((triple9) -> rule1) ((triple12) -> rule4)) -> rule2) OR ((((triple9) -> rule1) ((triple9 triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule5)) -> rule6) triple11) -> rule2) OR ((((triple12) -> rule6) ((((triple9) -> rule5)) -> rule4)) -> rule2) OR ((((triple9) -> rule1) ((((triple9) -> rule5)) -> rule4)) -> rule2) OR ((((((triple9) -> rule5)) -> rule6) ((triple12) -> rule4)) -> rule2) OR ((((((triple9) -> rule5)) -> rule6) ((triple9 triple10) -> rule8)) -> rule2) OR ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5)) -> rule4)) -> rule2))]