Anne is nice. Dave is kind. Dave is nice. Dave is red. Fiona is kind. Fiona is nice. Fiona is red. Gary is big. Gary is green. Gary is nice. If something is red and furry then it is big. All nice, kind things are green. All nice, red things are furry. All nice things are red. Kind, furry things are young. Kind things are nice. If Anne is young and Anne is furry then Anne is big. All young things are kind.
Dave is big.
@0: Anne is nice.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple2) -> rule6))] Dave is red.[(triple4 OR ((triple3) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] Fiona is kind.[(triple5)] Fiona is nice.[(triple6 OR ((triple5) -> rule6))] Fiona is red.[(triple7 OR ((triple6) -> rule4) OR ((((triple5) -> rule6)) -> rule4))] Gary is big.[(triple8 OR ((((triple10) -> rule4) ((triple10 ((triple10) -> rule4)) -> rule3)) -> rule1))] Gary is green.[(triple9)] Gary is nice.[(triple10)] @1: Anne is red.[(((triple1) -> rule4))] Dave is furry.[(((triple3 triple4) -> rule3) OR ((triple3 ((triple3) -> rule4)) -> rule3) OR ((((triple2) -> rule6) triple4) -> rule3) OR ((((triple2) -> rule6) ((triple3) -> rule4)) -> rule3) OR ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule3) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule3))] Dave is green.[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule6) triple2) -> rule2))] Fiona is furry.[(((triple6 triple7) -> rule3) OR ((triple6 ((triple6) -> rule4)) -> rule3) OR ((((triple5) -> rule6) triple7) -> rule3) OR ((((triple5) -> rule6) ((triple6) -> rule4)) -> rule3) OR ((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule3) OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule4)) -> rule3))] Fiona is green.[(((triple6 triple5) -> rule2) OR ((((triple5) -> rule6) triple5) -> rule2))] Gary is red.[(((triple10) -> rule4))] @2: Anne is furry.[(((triple1 ((triple1) -> rule4)) -> rule3))] Dave is big.[(((triple4 ((triple3 triple4) -> rule3)) -> rule1) OR ((((triple3) -> rule4) ((triple3 triple4) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((triple4 ((((triple2) -> rule6) triple4) -> rule3)) -> rule1) OR ((triple4 ((((triple2) -> rule6) ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((triple3) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule6) triple4) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((triple3 triple4) -> rule3)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule6) ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((((triple2) -> rule6) triple4) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((((triple2) -> rule6) ((triple3) -> rule4)) -> rule3)) -> rule1) OR ((triple4 ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((triple4 ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((triple3) -> rule4) ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((triple3) -> rule4) ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule1))] Dave is young.[(((triple2 ((triple3 triple4) -> rule3)) -> rule5) OR ((triple2 ((triple3 ((triple3) -> rule4)) -> rule3)) -> rule5) OR ((triple2 ((((triple2) -> rule6) triple4) -> rule3)) -> rule5) OR ((triple2 ((((triple2) -> rule6) ((triple3) -> rule4)) -> rule3)) -> rule5) OR ((triple2 ((triple3 ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((triple2 ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule3)) -> rule5))] Fiona is big.[(((triple7 ((triple6 triple7) -> rule3)) -> rule1) OR ((((triple6) -> rule4) ((triple6 triple7) -> rule3)) -> rule1) OR ((triple7 ((triple6 ((triple6) -> rule4)) -> rule3)) -> rule1) OR ((triple7 ((((triple5) -> rule6) triple7) -> rule3)) -> rule1) OR ((triple7 ((((triple5) -> rule6) ((triple6) -> rule4)) -> rule3)) -> rule1) OR ((((triple6) -> rule4) ((triple6 ((triple6) -> rule4)) -> rule3)) -> rule1) OR ((((triple6) -> rule4) ((((triple5) -> rule6) triple7) -> rule3)) -> rule1) OR ((((((triple5) -> rule6)) -> rule4) ((triple6 triple7) -> rule3)) -> rule1) OR ((((triple6) -> rule4) ((((triple5) -> rule6) ((triple6) -> rule4)) -> rule3)) -> rule1) OR ((((((triple5) -> rule6)) -> rule4) ((triple6 ((triple6) -> rule4)) -> rule3)) -> rule1) OR ((((((triple5) -> rule6)) -> rule4) ((((triple5) -> rule6) triple7) -> rule3)) -> rule1) OR ((((((triple5) -> rule6)) -> rule4) ((((triple5) -> rule6) ((triple6) -> rule4)) -> rule3)) -> rule1) OR ((triple7 ((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((triple7 ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((triple6) -> rule4) ((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((triple6) -> rule4) ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple5) -> rule6)) -> rule4) ((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple5) -> rule6)) -> rule4) ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule1))] Fiona is young.[(((triple5 ((triple6 triple7) -> rule3)) -> rule5) OR ((triple5 ((triple6 ((triple6) -> rule4)) -> rule3)) -> rule5) OR ((triple5 ((((triple5) -> rule6) triple7) -> rule3)) -> rule5) OR ((triple5 ((((triple5) -> rule6) ((triple6) -> rule4)) -> rule3)) -> rule5) OR ((triple5 ((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((triple5 ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule4)) -> rule3)) -> rule5))] Gary is furry.[(((triple10 ((triple10) -> rule4)) -> rule3))] @3: Anne is big.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule3)) -> rule1))]