Bob is kind. Charlie is round. Dave is red. Gary is young. All red people are big. Kind, round people are young. If someone is round then they are kind. If someone is young then they are red. If Gary is round then Gary is big. If Bob is kind and Bob is young then Bob is red. If someone is round then they are kind. Big people are young.
Dave is round.
@0: Bob is kind.[(triple1)] Charlie is round.[(triple2)] Dave is red.[(triple3)] Gary is young.[(triple4)] @1: Charlie is kind.[(((triple2) -> rule3) OR ((triple2) -> rule7))] Dave is big.[(((triple3) -> rule1))] Gary is red.[(((triple4) -> rule4))] @2: Charlie is young.[(((((triple2) -> rule3) triple2) -> rule2) OR ((((triple2) -> rule7) triple2) -> rule2))] Dave is young.[(((((triple3) -> rule1)) -> rule8))] Gary is big.[(((((triple4) -> rule4)) -> rule1))] @3: Charlie is red.[(((((((triple2) -> rule3) triple2) -> rule2)) -> rule4) OR ((((((triple2) -> rule7) triple2) -> rule2)) -> rule4))] @4: Charlie is big.[(((((((((triple2) -> rule3) triple2) -> rule2)) -> rule4)) -> rule1) OR ((((((((triple2) -> rule7) triple2) -> rule2)) -> rule4)) -> rule1))]