Anne is red. Bob is rough. Charlie is kind. Dave is young. If Anne is young then Anne is kind. If someone is rough and kind then they are green. Rough people are kind. If someone is red then they are big. If someone is young then they are big. If someone is kind and green then they are red. All green people are kind. Young, green people are rough.
Charlie is quiet.
@0: Anne is red.[(triple1)] Bob is rough.[(triple2)] Charlie is kind.[(triple3)] Dave is young.[(triple4)] @1: Anne is big.[(((triple1) -> rule4))] Bob is kind.[(((triple2) -> rule3))] Dave is big.[(((triple4) -> rule5))] @2: Bob is green.[(((triple2 ((triple2) -> rule3)) -> rule2))] @3: Bob is red.[(((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule2)) -> rule6))] @4: Bob is big.[(((((((triple2) -> rule3) ((triple2 ((triple2) -> rule3)) -> rule2)) -> rule6)) -> rule4))]