Bob is big. Bob is blue. Bob is green. Charlie is big. Charlie is blue. Charlie is green. Charlie is red. Dave is big. Dave is green. Dave is nice. Fiona is big. Fiona is blue. Fiona is nice. Fiona is smart. Fiona is young. If someone is blue then they are big. If someone is young then they are big. Green people are red. All green people are big. All smart, red people are big. If Charlie is blue then Charlie is red.
Bob is nice.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule4))] Bob is blue.[(triple2)] Bob is green.[(triple3)] Charlie is big.[(triple4 OR ((triple5) -> rule1) OR ((triple6) -> rule4))] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Charlie is red.[(triple7 OR ((triple5) -> rule6) OR ((triple6) -> rule3))] Dave is big.[(triple8 OR ((triple9) -> rule4))] Dave is green.[(triple9)] Dave is nice.[(triple10)] Fiona is big.[(triple11 OR ((triple12) -> rule1) OR ((triple15) -> rule2))] Fiona is blue.[(triple12)] Fiona is nice.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Bob is red.[(((triple3) -> rule3))] Dave is red.[(((triple9) -> rule3))]