Bob is kind. Bob is nice. Bob is red. Bob is smart. Bob is white. Charlie is nice. Charlie is smart. Charlie is white. Dave is green. Dave is kind. Dave is quiet. Dave is red. Harry is red. Harry is white. If someone is kind and red then they are quiet. All smart people are green. Green, quiet people are red. If Harry is green then Harry is smart. White people are nice. All white, nice people are kind. If someone is quiet then they are smart. All quiet people are kind.
Charlie is green.
@0: Bob is kind.[(triple1 OR ((triple5 triple2) -> rule6) OR ((triple5 ((triple5) -> rule5)) -> rule6))] Bob is nice.[(triple2 OR ((triple5) -> rule5))] Bob is red.[(triple3)] Bob is smart.[(triple4 OR ((((triple1 triple3) -> rule1)) -> rule7) OR ((((((triple5 triple2) -> rule6) triple3) -> rule1)) -> rule7) OR ((((((triple5 ((triple5) -> rule5)) -> rule6) triple3) -> rule1)) -> rule7))] Bob is white.[(triple5)] Charlie is nice.[(triple6 OR ((triple8) -> rule5))] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Dave is green.[(triple9 OR ((((triple11) -> rule7)) -> rule2) OR ((((((triple10 triple12) -> rule1)) -> rule7)) -> rule2))] Dave is kind.[(triple10 OR ((triple11) -> rule8))] Dave is quiet.[(triple11 OR ((triple10 triple12) -> rule1))] Dave is red.[(triple12 OR ((triple9 triple11) -> rule3) OR ((((((triple11) -> rule7)) -> rule2) triple11) -> rule3))] Harry is red.[(triple13)] Harry is white.[(triple14)] @1: Bob is green.[(((triple4) -> rule2) OR ((((((triple1 triple3) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple5 triple2) -> rule6) triple3) -> rule1)) -> rule7)) -> rule2) OR ((((((((triple5 ((triple5) -> rule5)) -> rule6) triple3) -> rule1)) -> rule7)) -> rule2))] Bob is quiet.[(((triple1 triple3) -> rule1) OR ((((triple5 triple2) -> rule6) triple3) -> rule1) OR ((((triple5 ((triple5) -> rule5)) -> rule6) triple3) -> rule1))] Charlie is green.[(((triple7) -> rule2))] Charlie is kind.[(((triple8 triple6) -> rule6) OR ((triple8 ((triple8) -> rule5)) -> rule6))] Dave is smart.[(((triple11) -> rule7) OR ((((triple10 triple12) -> rule1)) -> rule7))] Harry is nice.[(((triple14) -> rule5))] @2: Harry is kind.[(((triple14 ((triple14) -> rule5)) -> rule6))] @3: Harry is quiet.[(((((triple14 ((triple14) -> rule5)) -> rule6) triple13) -> rule1))] @4: Harry is smart.[(((((((triple14 ((triple14) -> rule5)) -> rule6) triple13) -> rule1)) -> rule7))] @5: Harry is green.[(((((((((triple14 ((triple14) -> rule5)) -> rule6) triple13) -> rule1)) -> rule7)) -> rule2))]