Bob is big. Bob is green. Bob is quiet. Bob is smart. Charlie is nice. Charlie is quiet. Charlie is smart. Harry is nice. Harry is quiet. Harry is young. Smart people are green. If someone is smart then they are big. If someone is smart then they are young. All green people are smart. If Bob is big and Bob is quiet then Bob is green. If Bob is big then Bob is white. If someone is smart then they are nice. All nice people are white.
Bob is smart.
@0: Bob is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple2) -> rule4)) -> rule2))] Bob is green.[(triple2 OR ((triple4) -> rule1) OR ((triple1 triple3) -> rule5) OR ((((triple4) -> rule2) triple3) -> rule5))] Bob is quiet.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule4) OR ((((triple1 triple3) -> rule5)) -> rule4))] Charlie is nice.[(triple5 OR ((triple7) -> rule7))] Charlie is quiet.[(triple6)] Charlie is smart.[(triple7)] Harry is nice.[(triple8)] Harry is quiet.[(triple9)] Harry is young.[(triple10)] @1: Bob is nice.[(((triple4) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((((((triple1 triple3) -> rule5)) -> rule4)) -> rule7))] Bob is white.[(((triple1) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple4) -> rule7)) -> rule8) OR ((((((triple2) -> rule4)) -> rule2)) -> rule6) OR ((((((triple2) -> rule4)) -> rule7)) -> rule8) OR ((((((((triple1 triple3) -> rule5)) -> rule4)) -> rule7)) -> rule8))] Bob is young.[(((triple4) -> rule3) OR ((((triple2) -> rule4)) -> rule3) OR ((((((triple1 triple3) -> rule5)) -> rule4)) -> rule3))] Charlie is big.[(((triple7) -> rule2))] Charlie is green.[(((triple7) -> rule1))] Charlie is white.[(((triple5) -> rule8) OR ((((triple7) -> rule7)) -> rule8))] Charlie is young.[(((triple7) -> rule3))] Harry is white.[(((triple8) -> rule8))]