Anne is big. Anne is kind. Anne is smart. Dave is big. Erin is nice. Erin is smart. Fiona is white. White, big things are green. If something is white and green then it is smart. All big things are kind. If Erin is kind then Erin is big. If something is smart then it is red. If something is big and smart then it is red. All nice things are big. All big things are nice.
Dave is white.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule3))] Anne is smart.[(triple3)] Dave is big.[(triple4)] Erin is nice.[(triple5)] Erin is smart.[(triple6)] Fiona is white.[(triple7)] @1: Anne is nice.[(((triple1) -> rule8))] Anne is red.[(((triple3) -> rule5) OR ((triple1 triple3) -> rule6))] Dave is kind.[(((triple4) -> rule3))] Dave is nice.[(((triple4) -> rule8))] Erin is big.[(((triple5) -> rule7))] Erin is red.[(((triple6) -> rule5) OR ((((triple5) -> rule7) triple6) -> rule6))] @2: Erin is kind.[(((((triple5) -> rule7)) -> rule3))]