Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is not red. Bob is round. Bob is not smart. All quiet people are big. If Bob is quiet then Bob is round. Smart people are not round. If someone is round then they are blue. All quiet people are blue. If someone is green and not big then they are not smart. Green people are not smart. Round people are green.
Bob is not blue.
@0: Bob is big.[(triple1 OR ((triple4) -> rule1))] Bob is blue.[(triple2 OR ((triple4) -> rule5) OR ((triple6) -> rule4) OR ((((triple4) -> rule2)) -> rule4))] Bob is green.[(triple3 OR ((triple6) -> rule8) OR ((((triple4) -> rule2)) -> rule8))] Bob is not red.[(triple5)] Bob is not smart.[(triple7 OR ((triple3) -> rule7) OR ((((triple6) -> rule8)) -> rule7) OR ((((((triple4) -> rule2)) -> rule8)) -> rule7))] Bob is quiet.[(triple4)] Bob is round.[(triple6 OR ((triple4) -> rule2))]