Anne is red. Bob is kind. Charlie is green. Dave is smart. If Charlie is red and Charlie is kind then Charlie is big. All kind, red things are big. If something is big then it is rough. Kind, green things are big. All red, blue things are smart. All green things are red. All kind things are green. All big things are red.
Bob is not kind.
@0: Anne is red.[(triple1)] Bob is kind.[(triple2)] Charlie is green.[(triple3)] Dave is smart.[(triple4)] @1: Bob is green.[(((triple2) -> rule7))] Charlie is red.[(((triple3) -> rule6))] @2: Bob is big.[(((triple2 ((triple2) -> rule7)) -> rule4) OR ((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule2))] Bob is red.[(((((triple2) -> rule7)) -> rule6) OR ((((triple2 ((triple2) -> rule7)) -> rule4)) -> rule8))] @3: Bob is rough.[(((((triple2 ((triple2) -> rule7)) -> rule4)) -> rule3) OR ((((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule2)) -> rule3))]