Bob is not big. Bob is red. Bob is rough. Bob is round. Dave is cold. Dave is not furry. Dave is red. Dave is rough. Dave is round. Dave is young. If Bob is rough then Bob is young. If Bob is round and Bob is rough then Bob is young. If Dave is red and Dave is furry then Dave is rough. If Dave is furry then Dave is young. Young people are red. Furry people are big.
Bob is cold.
@0: Bob is not big.[(triple1)] Bob is red.[(triple2 OR ((((triple3) -> rule1)) -> rule5) OR ((((triple4 triple3) -> rule2)) -> rule5))] Bob is rough.[(triple3)] Bob is round.[(triple4)] Dave is cold.[(triple5)] Dave is not furry.[(triple6)] Dave is red.[(triple7 OR ((triple10) -> rule5))] Dave is rough.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] @1: Bob is young.[(((triple3) -> rule1) OR ((triple4 triple3) -> rule2))]