Bob is nice. Bob is rough. Dave is big. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Erin is not big. Erin is not green. Erin is kind. Erin is nice. Erin is red. Fiona is blue. Fiona is nice. Fiona is red. If someone is kind and not big then they are rough. If someone is blue and nice then they are rough. If someone is blue then they are nice. If someone is big then they are green. If Fiona is kind then Fiona is blue. If Bob is nice then Bob is blue.
Fiona is red.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2 OR ((((triple1) -> rule6) triple1) -> rule2))] Dave is big.[(triple3)] Dave is green.[(triple4 OR ((triple3) -> rule4))] Dave is kind.[(triple5)] Dave is nice.[(triple6)] Dave is red.[(triple7)] Dave is rough.[(triple8)] Erin is kind.[(triple11)] Erin is nice.[(triple12)] Erin is not big.[(triple9)] Erin is not green.[(triple10)] Erin is red.[(triple13)] Fiona is blue.[(triple14)] Fiona is nice.[(triple15 OR ((triple14) -> rule3))] Fiona is red.[(triple16)] @1: Bob is blue.[(((triple1) -> rule6))] Erin is rough.[(((triple11 triple9) -> rule1))] Fiona is rough.[(((triple14 triple15) -> rule2) OR ((triple14 ((triple14) -> rule3)) -> rule2))]