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