Bob is big. Bob is red. Charlie is big. Charlie is not furry. Charlie is not red. Dave is blue. Dave is furry. Dave is red. Erin is cold. Erin is furry. Erin is red. Erin is not rough. If something is big then it is green. If Charlie is rough and Charlie is red then Charlie is not green. If Erin is blue then Erin is cold.
Dave is blue.
@0: Bob is big.[(triple1)] Bob is red.[(triple2)] Charlie is big.[(triple3)] Charlie is not furry.[(triple4)] Charlie is not red.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is red.[(triple8)] Erin is cold.[(triple9)] Erin is furry.[(triple10)] Erin is not rough.[(triple12)] Erin is red.[(triple11)] @1: Bob is green.[(((triple1) -> rule1))] Charlie is green.[(((triple3) -> rule1))]