Bob is kind. Bob is red. Bob is rough. Dave is kind. Dave is quiet. Harry is quiet. Harry is red. If someone is nice and rough then they are red. Kind people are nice. Rough, red people are white. If Harry is rough and Harry is nice then Harry is quiet. White people are rough. All red, kind people are quiet. If Bob is kind then Bob is rough. If someone is white and rough then they are kind.
Dave is kind.
@0: Bob is kind.[(triple1 OR ((((triple3 triple2) -> rule3) triple3) -> rule8))] Bob is red.[(triple2 OR ((((triple1) -> rule2) triple3) -> rule1) OR ((((triple1) -> rule2) ((triple1) -> rule7)) -> rule1))] Bob is rough.[(triple3 OR ((triple1) -> rule7))] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Harry is quiet.[(triple6)] Harry is red.[(triple7)] @1: Bob is nice.[(((triple1) -> rule2) OR ((((((triple3 triple2) -> rule3) triple3) -> rule8)) -> rule2))] Bob is quiet.[(((triple2 triple1) -> rule6) OR ((triple2 ((((triple3 triple2) -> rule3) triple3) -> rule8)) -> rule6) OR ((((((triple1) -> rule2) triple3) -> rule1) triple1) -> rule6) OR ((((((triple1) -> rule2) ((triple1) -> rule7)) -> rule1) triple1) -> rule6) OR ((((((triple1) -> rule2) triple3) -> rule1) ((((triple3 triple2) -> rule3) triple3) -> rule8)) -> rule6) OR ((((((triple1) -> rule2) ((triple1) -> rule7)) -> rule1) ((((triple3 triple2) -> rule3) triple3) -> rule8)) -> rule6))] Bob is white.[(((triple3 triple2) -> rule3) OR ((((triple1) -> rule7) triple2) -> rule3) OR ((triple3 ((((triple1) -> rule2) triple3) -> rule1)) -> rule3) OR ((triple3 ((((triple1) -> rule2) ((triple1) -> rule7)) -> rule1)) -> rule3) OR ((((triple1) -> rule7) ((((triple1) -> rule2) triple3) -> rule1)) -> rule3) OR ((((triple1) -> rule7) ((((triple1) -> rule2) ((triple1) -> rule7)) -> rule1)) -> rule3))] Dave is nice.[(((triple4) -> rule2))]