Anne is nice. Anne is white. Anne is not young. Charlie is nice. Charlie is smart. Fiona is round. Fiona is smart. Harry is red. Harry is smart. Harry is young. Red, young people are nice. If someone is white then they are nice. Smart, red people are nice. If someone is smart then they are red. All smart, young people are red. All young, red people are smart. Round, nice people are not white. All red people are young.
Harry is nice.
@0: Anne is nice.[(triple1 OR ((triple2) -> rule2))] Anne is not young.[(triple3)] Anne is white.[(triple2)] Charlie is nice.[(triple4 OR ((triple5 ((triple5) -> rule4)) -> rule3) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule8)) -> rule1))] Charlie is smart.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Harry is red.[(triple8 OR ((triple9) -> rule4) OR ((triple9 triple10) -> rule5))] Harry is smart.[(triple9 OR ((triple10 triple8) -> rule6) OR ((((triple8) -> rule8) triple8) -> rule6))] Harry is young.[(triple10 OR ((triple8) -> rule8) OR ((((triple9) -> rule4)) -> rule8))] @1: Charlie is red.[(((triple5) -> rule4))] Fiona is red.[(((triple7) -> rule4))] Harry is nice.[(((triple8 triple10) -> rule1) OR ((triple9 triple8) -> rule3) OR ((triple8 ((triple8) -> rule8)) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule3) OR ((triple9 ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple9) -> rule4) triple10) -> rule1) OR ((((triple10 triple8) -> rule6) triple8) -> rule3) OR ((((triple9 triple10) -> rule5) triple10) -> rule1) OR ((((triple9) -> rule4) ((triple8) -> rule8)) -> rule1) OR ((((triple10 triple8) -> rule6) ((triple9) -> rule4)) -> rule3) OR ((((triple10 triple8) -> rule6) ((triple9 triple10) -> rule5)) -> rule3) OR ((((triple9 triple10) -> rule5) ((triple8) -> rule8)) -> rule1) OR ((triple8 ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule6) triple8) -> rule3) OR ((((triple9) -> rule4) ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((triple9 triple10) -> rule5) ((((triple9) -> rule4)) -> rule8)) -> rule1) OR ((((((triple8) -> rule8) triple8) -> rule6) ((triple9) -> rule4)) -> rule3) OR ((((((triple8) -> rule8) triple8) -> rule6) ((triple9 triple10) -> rule5)) -> rule3))] @2: Charlie is young.[(((((triple5) -> rule4)) -> rule8))] Fiona is nice.[(((triple7 ((triple7) -> rule4)) -> rule3) OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule8)) -> rule1))] Fiona is young.[(((((triple7) -> rule4)) -> rule8))] @3: Fiona is not white.[(((triple6 ((triple7 ((triple7) -> rule4)) -> rule3)) -> rule7) OR ((triple6 ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule8)) -> rule1)) -> rule7))]