Bob is kind. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. All nice, blue people are kind. If someone is smart and quiet then they are kind. If someone is blue and quiet then they are nice. All smart, quiet people are nice. All kind, smart people are round. If someone is smart then they are round. All kind people are blue. Kind, white people are blue.
Bob is not round.
@0: Bob is kind.[(triple1 OR ((triple5 triple3) -> rule2))] Bob is nice.[(triple2 OR ((triple5 triple3) -> rule4) OR ((((triple1) -> rule7) triple3) -> rule3) OR ((((((triple5 triple3) -> rule2)) -> rule7) triple3) -> rule3))] Bob is quiet.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule6) OR ((triple1 triple5) -> rule5) OR ((((triple5 triple3) -> rule2) triple5) -> rule5))] Bob is smart.[(triple5)] Harry is blue.[(triple6 OR ((triple7) -> rule7) OR ((triple7 triple12) -> rule8) OR ((((triple11 triple9) -> rule2)) -> rule7) OR ((((triple11 triple9) -> rule2) triple12) -> rule8))] Harry is kind.[(triple7 OR ((triple11 triple9) -> rule2) OR ((triple8 triple6) -> rule1) OR ((((triple11 triple9) -> rule4) triple6) -> rule1) OR ((((triple6 triple9) -> rule3) triple6) -> rule1))] Harry is nice.[(triple8 OR ((triple11 triple9) -> rule4) OR ((triple6 triple9) -> rule3) OR ((((triple7) -> rule7) triple9) -> rule3) OR ((((triple7 triple12) -> rule8) triple9) -> rule3) OR ((((((triple11 triple9) -> rule2)) -> rule7) triple9) -> rule3) OR ((((((triple11 triple9) -> rule2) triple12) -> rule8) triple9) -> rule3))] Harry is quiet.[(triple9)] Harry is round.[(triple10 OR ((triple11) -> rule6) OR ((triple7 triple11) -> rule5) OR ((((triple11 triple9) -> rule2) triple11) -> rule5) OR ((((triple8 triple6) -> rule1) triple11) -> rule5) OR ((((((triple11 triple9) -> rule4) triple6) -> rule1) triple11) -> rule5) OR ((((((triple6 triple9) -> rule3) triple6) -> rule1) triple11) -> rule5))] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Bob is blue.[(((triple1) -> rule7) OR ((((triple5 triple3) -> rule2)) -> rule7))]