Anne is red. Anne is smart. Bob is kind. Bob is not nice. Fiona is furry. Fiona is rough. Gary is not green. Gary is kind. Gary is nice. Gary is rough. If someone is nice then they are red. Smart people are green. If someone is smart and red then they are not kind. All rough, green people are nice. Green people are rough. If someone is red and green then they are rough. If someone is furry and green then they are smart. All rough, furry people are smart. Furry, rough people are smart.
Gary is kind.
@0: Anne is red.[(triple1 OR ((((((((triple2) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule4)) -> rule1))] Anne is smart.[(triple2)] Bob is kind.[(triple3)] Bob is not nice.[(triple4)] Fiona is furry.[(triple5)] Fiona is rough.[(triple6)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is not green.[(triple7)] Gary is rough.[(triple10)] @1: Anne is green.[(((triple2) -> rule2))] Anne is not kind.[(((triple2 triple1) -> rule3) OR ((triple2 ((((((((triple2) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule4)) -> rule1)) -> rule3))] Fiona is smart.[(((triple5 triple6) -> rule9) OR ((triple6 triple5) -> rule8))] Gary is red.[(((triple9) -> rule1))] @2: Anne is rough.[(((((triple2) -> rule2)) -> rule5) OR ((triple1 ((triple2) -> rule2)) -> rule6))] Fiona is green.[(((((triple5 triple6) -> rule9)) -> rule2) OR ((((triple6 triple5) -> rule8)) -> rule2))] @3: Anne is nice.[(((((((triple2) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule4) OR ((((triple1 ((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule4))] Fiona is nice.[(((triple6 ((((triple5 triple6) -> rule9)) -> rule2)) -> rule4) OR ((triple6 ((((triple6 triple5) -> rule8)) -> rule2)) -> rule4))] @4: Fiona is red.[(((((triple6 ((((triple5 triple6) -> rule9)) -> rule2)) -> rule4)) -> rule1) OR ((((triple6 ((((triple6 triple5) -> rule8)) -> rule2)) -> rule4)) -> rule1))] @5: Fiona is not kind.[(((((triple5 triple6) -> rule9) ((((triple6 ((((triple5 triple6) -> rule9)) -> rule2)) -> rule4)) -> rule1)) -> rule3) OR ((((triple5 triple6) -> rule9) ((((triple6 ((((triple6 triple5) -> rule8)) -> rule2)) -> rule4)) -> rule1)) -> rule3) OR ((((triple6 triple5) -> rule8) ((((triple6 ((((triple5 triple6) -> rule9)) -> rule2)) -> rule4)) -> rule1)) -> rule3) OR ((((triple6 triple5) -> rule8) ((((triple6 ((((triple6 triple5) -> rule8)) -> rule2)) -> rule4)) -> rule1)) -> rule3))]