Bob is big. Bob is cold. Bob is green. Bob is young. Charlie is cold. Dave is big. Dave is cold. Dave is green. Dave is rough. Dave is round. Dave is white. Dave is young. Fiona is big. Fiona is green. Fiona is young. All rough, cold things are young. All cold things are white. Cold things are big. All young things are cold. If Charlie is big and Charlie is green then Charlie is rough. Green, cold things are young.
Bob is young.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Bob is cold.[(triple2 OR ((triple4) -> rule4))] Bob is green.[(triple3)] Bob is young.[(triple4 OR ((triple3 triple2) -> rule6))] Charlie is cold.[(triple5)] Dave is big.[(triple6 OR ((triple7) -> rule3) OR ((((triple12) -> rule4)) -> rule3))] Dave is cold.[(triple7 OR ((triple12) -> rule4))] Dave is green.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Dave is white.[(triple11 OR ((triple7) -> rule2) OR ((((triple12) -> rule4)) -> rule2))] Dave is young.[(triple12 OR ((triple8 triple7) -> rule6) OR ((triple9 triple7) -> rule1))] Fiona is big.[(triple13 OR ((((triple15) -> rule4)) -> rule3))] Fiona is green.[(triple14)] Fiona is young.[(triple15)] @1: Bob is white.[(((triple2) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] Charlie is big.[(((triple5) -> rule3))] Charlie is white.[(((triple5) -> rule2))] Fiona is cold.[(((triple15) -> rule4))] @2: Fiona is white.[(((((triple15) -> rule4)) -> rule2))]