Bob is kind. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Harry is nice. Harry is red. Harry is rough. Harry is smart. Harry is young. Young, kind people are rough. All smart, red people are round. Rough, nice people are young. Round, rough people are kind. If someone is smart and round then they are red. All smart, kind people are young. Red people are nice. If someone is red then they are smart.
Harry is not round.
@0: Bob is kind.[(triple1 OR ((triple5 triple4) -> rule4) OR ((((triple6 triple3) -> rule2) triple4) -> rule4) OR ((((((triple3) -> rule8) triple3) -> rule2) triple4) -> rule4))] Bob is nice.[(triple2 OR ((triple3) -> rule7) OR ((((triple6 triple5) -> rule5)) -> rule7))] Bob is red.[(triple3 OR ((triple6 triple5) -> rule5))] Bob is rough.[(triple4 OR ((triple7 triple1) -> rule1) OR ((((triple6 triple1) -> rule6) triple1) -> rule1) OR ((((((triple3) -> rule8) triple1) -> rule6) triple1) -> rule1))] Bob is round.[(triple5 OR ((triple6 triple3) -> rule2) OR ((((triple3) -> rule8) triple3) -> rule2))] Bob is smart.[(triple6 OR ((triple3) -> rule8))] Bob is young.[(triple7 OR ((triple4 triple2) -> rule3) OR ((triple6 triple1) -> rule6) OR ((triple4 ((triple3) -> rule7)) -> rule3) OR ((triple6 ((triple5 triple4) -> rule4)) -> rule6) OR ((((triple3) -> rule8) triple1) -> rule6) OR ((((triple3) -> rule8) ((triple5 triple4) -> rule4)) -> rule6) OR ((triple4 ((((triple6 triple5) -> rule5)) -> rule7)) -> rule3) OR ((triple6 ((((triple6 triple3) -> rule2) triple4) -> rule4)) -> rule6) OR ((((triple3) -> rule8) ((((triple6 triple3) -> rule2) triple4) -> rule4)) -> rule6) OR ((triple6 ((((((triple3) -> rule8) triple3) -> rule2) triple4) -> rule4)) -> rule6) OR ((((triple3) -> rule8) ((((((triple3) -> rule8) triple3) -> rule2) triple4) -> rule4)) -> rule6))] Charlie is kind.[(triple8)] Charlie is nice.[(triple9 OR ((triple10) -> rule7))] Charlie is red.[(triple10)] Charlie is round.[(triple11 OR ((((triple10) -> rule8) triple10) -> rule2))] Harry is nice.[(triple12 OR ((triple13) -> rule7))] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15 OR ((triple13) -> rule8))] Harry is young.[(triple16 OR ((triple14 triple12) -> rule3) OR ((triple14 ((triple13) -> rule7)) -> rule3) OR ((triple15 ((((triple15 triple13) -> rule2) triple14) -> rule4)) -> rule6) OR ((((triple13) -> rule8) ((((triple15 triple13) -> rule2) triple14) -> rule4)) -> rule6) OR ((triple15 ((((((triple13) -> rule8) triple13) -> rule2) triple14) -> rule4)) -> rule6) OR ((((triple13) -> rule8) ((((((triple13) -> rule8) triple13) -> rule2) triple14) -> rule4)) -> rule6))] @1: Charlie is smart.[(((triple10) -> rule8))] Harry is round.[(((triple15 triple13) -> rule2) OR ((((triple13) -> rule8) triple13) -> rule2))] @2: Charlie is young.[(((((triple10) -> rule8) triple8) -> rule6))] Harry is kind.[(((((triple15 triple13) -> rule2) triple14) -> rule4) OR ((((((triple13) -> rule8) triple13) -> rule2) triple14) -> rule4))] @3: Charlie is rough.[(((((((triple10) -> rule8) triple8) -> rule6) triple8) -> rule1))]