Bob is big. Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Charlie is big. Charlie is blue. Charlie is green. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Big, blue things are round. If Charlie is red and Charlie is big then Charlie is green. Green things are round. Round things are green. All blue, big things are green. All round things are blue. If something is rough and big then it is blue. If something is blue then it is smart.
Charlie is not round.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple6) -> rule6) OR ((triple5 triple1) -> rule7) OR ((((triple3) -> rule3)) -> rule6))] Bob is green.[(triple3 OR ((triple6) -> rule4) OR ((triple2 triple1) -> rule5) OR ((((triple1 triple2) -> rule1)) -> rule4) OR ((((triple6) -> rule6) triple1) -> rule5) OR ((((triple5 triple1) -> rule7) triple1) -> rule5) OR ((((triple1 ((triple5 triple1) -> rule7)) -> rule1)) -> rule4))] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6 OR ((triple3) -> rule3) OR ((triple1 triple2) -> rule1) OR ((((triple2 triple1) -> rule5)) -> rule3) OR ((triple1 ((triple5 triple1) -> rule7)) -> rule1) OR ((((((triple5 triple1) -> rule7) triple1) -> rule5)) -> rule3))] Bob is smart.[(triple7 OR ((triple2) -> rule8) OR ((((triple6) -> rule6)) -> rule8) OR ((((triple5 triple1) -> rule7)) -> rule8) OR ((((((triple3) -> rule3)) -> rule6)) -> rule8))] Charlie is big.[(triple8)] Charlie is blue.[(triple9 OR ((triple13) -> rule6) OR ((triple12 triple8) -> rule7) OR ((((triple10) -> rule3)) -> rule6) OR ((((((triple11 triple8) -> rule2)) -> rule3)) -> rule6))] Charlie is green.[(triple10 OR ((triple13) -> rule4) OR ((triple11 triple8) -> rule2) OR ((triple9 triple8) -> rule5) OR ((((triple8 triple9) -> rule1)) -> rule4) OR ((((triple13) -> rule6) triple8) -> rule5) OR ((((triple12 triple8) -> rule7) triple8) -> rule5) OR ((((triple8 ((triple12 triple8) -> rule7)) -> rule1)) -> rule4))] Charlie is red.[(triple11)] Charlie is rough.[(triple12)] Charlie is round.[(triple13 OR ((triple10) -> rule3) OR ((triple8 triple9) -> rule1) OR ((((triple11 triple8) -> rule2)) -> rule3) OR ((((triple9 triple8) -> rule5)) -> rule3) OR ((triple8 ((triple12 triple8) -> rule7)) -> rule1) OR ((((((triple12 triple8) -> rule7) triple8) -> rule5)) -> rule3))] Charlie is smart.[(triple14 OR ((triple9) -> rule8) OR ((((triple13) -> rule6)) -> rule8) OR ((((triple12 triple8) -> rule7)) -> rule8) OR ((((((triple10) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple11 triple8) -> rule2)) -> rule3)) -> rule6)) -> rule8))]