Charlie is big. Charlie is green. Charlie is red. Charlie is smart. Fiona is round. Gary is not furry. Gary is red. Gary is round. Gary is not smart. Harry is green. Harry is not round. Harry is smart. All smart people are big. All kind people are red. If someone is big and not furry then they are red. Smart, red people are green. Big, green people are kind. If someone is red and not kind then they are round. If someone is furry and red then they are not round. Big, kind people are not round.
Harry is not kind.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule1))] Charlie is green.[(triple2 OR ((triple4 triple3) -> rule4))] Charlie is red.[(triple3 OR ((((triple1 triple2) -> rule5)) -> rule2) OR ((((((triple4) -> rule1) triple2) -> rule5)) -> rule2))] Charlie is smart.[(triple4)] Fiona is round.[(triple5)] Gary is not furry.[(triple6)] Gary is not smart.[(triple9)] Gary is red.[(triple7)] Gary is round.[(triple8)] Harry is green.[(triple10)] Harry is not round.[(triple11 OR ((((triple12) -> rule1) ((((triple12) -> rule1) triple10) -> rule5)) -> rule8))] Harry is smart.[(triple12)] @1: Charlie is kind.[(((triple1 triple2) -> rule5) OR ((triple1 ((triple4 triple3) -> rule4)) -> rule5) OR ((((triple4) -> rule1) triple2) -> rule5) OR ((((triple4) -> rule1) ((triple4 triple3) -> rule4)) -> rule5))] Harry is big.[(((triple12) -> rule1))] @2: Charlie is not round.[(((triple1 ((triple1 triple2) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((triple1 triple2) -> rule5)) -> rule8) OR ((triple1 ((triple1 ((triple4 triple3) -> rule4)) -> rule5)) -> rule8) OR ((triple1 ((((triple4) -> rule1) triple2) -> rule5)) -> rule8) OR ((triple1 ((((triple4) -> rule1) ((triple4 triple3) -> rule4)) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((triple1 ((triple4 triple3) -> rule4)) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((((triple4) -> rule1) triple2) -> rule5)) -> rule8) OR ((((triple4) -> rule1) ((((triple4) -> rule1) ((triple4 triple3) -> rule4)) -> rule5)) -> rule8))] Harry is kind.[(((((triple12) -> rule1) triple10) -> rule5))] @3: Harry is red.[(((((((triple12) -> rule1) triple10) -> rule5)) -> rule2))]