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