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