Anne is furry. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is white. Fiona is furry. Fiona is green. Fiona is red. Fiona is rough. Fiona is white. Harry is rough. All red, furry people are white. If someone is green then they are red. Rough, red people are white. White people are green. Rough people are red. Big people are furry.
Harry is big.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2 OR ((triple6) -> rule4) OR ((((triple4 triple1) -> rule1)) -> rule4) OR ((((triple5 triple4) -> rule3)) -> rule4) OR ((((triple5 ((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((triple5) -> rule5) triple1) -> rule1)) -> rule4))] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule2) OR ((triple5) -> rule5) OR ((((triple6) -> rule4)) -> rule2))] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple4 triple1) -> rule1) OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple2) -> rule2)) -> rule3) OR ((triple5 ((triple5) -> rule5)) -> rule3) OR ((((triple2) -> rule2) triple1) -> rule1) OR ((((triple5) -> rule5) triple1) -> rule1))] Fiona is furry.[(triple7)] Fiona is green.[(triple8 OR ((triple11) -> rule4) OR ((((triple10 triple9) -> rule3)) -> rule4) OR ((((triple9 triple7) -> rule1)) -> rule4) OR ((((triple10 ((triple10) -> rule5)) -> rule3)) -> rule4) OR ((((((triple10) -> rule5) triple7) -> rule1)) -> rule4))] Fiona is red.[(triple9 OR ((triple10) -> rule5) OR ((triple8) -> rule2) OR ((((triple11) -> rule4)) -> rule2))] Fiona is rough.[(triple10)] Fiona is white.[(triple11 OR ((triple10 triple9) -> rule3) OR ((triple9 triple7) -> rule1) OR ((triple10 ((triple10) -> rule5)) -> rule3) OR ((triple10 ((triple8) -> rule2)) -> rule3) OR ((((triple10) -> rule5) triple7) -> rule1) OR ((((triple8) -> rule2) triple7) -> rule1))] Harry is rough.[(triple12)] @1: Harry is red.[(((triple12) -> rule5))] @2: Harry is white.[(((triple12 ((triple12) -> rule5)) -> rule3))] @3: Harry is green.[(((((triple12 ((triple12) -> rule5)) -> rule3)) -> rule4))]