Bob is green. Bob is nice. Bob is rough. Bob is smart. Charlie is white. Erin is green. Fiona is nice. If Charlie is green then Charlie is smart. All green, rough things are white. If something is white and smart then it is green. If Bob is smart and Bob is big then Bob is red. Green things are smart. All big, white things are smart.
Bob is not rough.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4 OR ((triple1) -> rule5))] Charlie is white.[(triple5)] Erin is green.[(triple6)] Fiona is nice.[(triple7)] @1: Bob is white.[(((triple1 triple3) -> rule2))] Erin is smart.[(((triple6) -> rule5))]