Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Bob is cold. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. Fiona is cold. Fiona is kind. Fiona is smart. All green, cold people are kind. All cold people are green. If someone is green and red then they are kind.
Fiona is rough.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple1 triple4) -> rule3))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Bob is cold.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9 OR ((triple8 triple11) -> rule3))] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13)] Fiona is cold.[(triple14)] Fiona is kind.[(triple15 OR ((((triple14) -> rule2) triple14) -> rule1))] Fiona is smart.[(triple16)] @1: Bob is green.[(((triple7) -> rule2))] Fiona is green.[(((triple14) -> rule2))] @2: Bob is kind.[(((((triple7) -> rule2) triple7) -> rule1))]