Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is young. Dave is big. Dave is nice. Dave is red. Dave is young. Erin is red. Erin is young. Green, kind people are big. If someone is kind then they are red.
Anne is white.
@0: Anne is big.[(triple1 OR ((triple2 triple3) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule2))] Anne is young.[(triple6)] Dave is big.[(triple7)] Dave is nice.[(triple8)] Dave is red.[(triple9)] Dave is young.[(triple10)] Erin is red.[(triple11)] Erin is young.[(triple12)]