Anne is big. Anne is green. Dave is big. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Fiona is cold. Fiona is green. Fiona is smart. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is nice. If someone is smart and nice then they are green. If someone is green and kind then they are nice. All nice, green people are big. If Anne is nice then Anne is cold. All green people are kind. Rough people are big.
Anne is not rough.
@0: Anne is big.[(triple1 OR ((((triple2 ((triple2) -> rule5)) -> rule2) triple2) -> rule3))] Anne is green.[(triple2)] Dave is big.[(triple3 OR ((triple6) -> rule6) OR ((triple5 ((triple7 triple5) -> rule1)) -> rule3))] Dave is kind.[(triple4 OR ((((triple7 triple5) -> rule1)) -> rule5))] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is smart.[(triple10)] Harry is big.[(triple11 OR ((triple15 triple13) -> rule3) OR ((((triple13 triple14) -> rule2) triple13) -> rule3) OR ((((triple13 ((triple13) -> rule5)) -> rule2) triple13) -> rule3))] Harry is cold.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14 OR ((triple13) -> rule5))] Harry is nice.[(triple15 OR ((triple13 triple14) -> rule2) OR ((triple13 ((triple13) -> rule5)) -> rule2))] @1: Anne is kind.[(((triple2) -> rule5))] Dave is green.[(((triple7 triple5) -> rule1))] Fiona is kind.[(((triple9) -> rule5))] @2: Anne is nice.[(((triple2 ((triple2) -> rule5)) -> rule2))] Fiona is nice.[(((triple9 ((triple9) -> rule5)) -> rule2))] @3: Anne is cold.[(((((triple2 ((triple2) -> rule5)) -> rule2)) -> rule4))] Fiona is big.[(((((triple9 ((triple9) -> rule5)) -> rule2) triple9) -> rule3))]