Dave is furry. Erin is nice. Erin is rough. Fiona is big. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Harry is big. Harry is nice. If something is cold and nice then it is kind. If something is nice then it is red. Kind things are red. Big things are rough. All big things are cold. If something is furry and cold then it is big. All rough things are nice. All nice, red things are furry.
Dave is not furry.
@0: Dave is furry.[(triple1)] Erin is nice.[(triple2 OR ((triple3) -> rule7))] Erin is rough.[(triple3)] Fiona is big.[(triple4 OR ((triple6 triple5) -> rule6) OR ((((((triple8) -> rule7) ((triple7) -> rule3)) -> rule8) triple5) -> rule6) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule8) triple5) -> rule6) OR ((((((triple8) -> rule7) ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) triple5) -> rule6))] Fiona is cold.[(triple5 OR ((triple4) -> rule5))] Fiona is furry.[(triple6 OR ((((triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule8) OR ((((triple8) -> rule7) ((((((triple4) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((((triple8) -> rule7) ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((((triple4) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((triple8) -> rule7) ((((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple4) -> rule4)) -> rule7) ((((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8))] Fiona is kind.[(triple7 OR ((triple5 ((triple8) -> rule7)) -> rule1) OR ((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1) OR ((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((triple5 ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1) OR ((((triple4) -> rule5) ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1))] Fiona is rough.[(triple8 OR ((triple4) -> rule4) OR ((((triple6 triple5) -> rule6)) -> rule4))] Harry is big.[(triple9)] Harry is nice.[(triple10 OR ((((triple9) -> rule4)) -> rule7))] @1: Erin is red.[(((triple2) -> rule2) OR ((((triple3) -> rule7)) -> rule2))] Fiona is nice.[(((triple8) -> rule7) OR ((((triple4) -> rule4)) -> rule7) OR ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7))] Fiona is red.[(((triple7) -> rule3) OR ((((triple8) -> rule7)) -> rule2) OR ((((((triple4) -> rule4)) -> rule7)) -> rule2) OR ((((triple5 ((triple8) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4) -> rule5) ((triple8) -> rule7)) -> rule1)) -> rule3) OR ((((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule2) OR ((((triple5 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4) -> rule5) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule3) OR ((((triple5 ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4) -> rule5) ((((((triple6 triple5) -> rule6)) -> rule4)) -> rule7)) -> rule1)) -> rule3))] Harry is cold.[(((triple9) -> rule5))] Harry is red.[(((triple10) -> rule2) OR ((((((triple9) -> rule4)) -> rule7)) -> rule2) OR ((((((triple9) -> rule5) triple10) -> rule1)) -> rule3) OR ((((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1)) -> rule3))] Harry is rough.[(((triple9) -> rule4))] @2: Erin is furry.[(((triple2 ((triple2) -> rule2)) -> rule8) OR ((((triple3) -> rule7) ((triple2) -> rule2)) -> rule8) OR ((triple2 ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule2)) -> rule8))] Harry is furry.[(((triple10 ((triple10) -> rule2)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((triple10) -> rule2)) -> rule8) OR ((triple10 ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((triple10 ((((((triple9) -> rule5) triple10) -> rule1)) -> rule3)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((((((triple9) -> rule4)) -> rule7)) -> rule2)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((((((triple9) -> rule5) triple10) -> rule1)) -> rule3)) -> rule8) OR ((triple10 ((((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple9) -> rule4)) -> rule7) ((((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1)) -> rule3)) -> rule8))] Harry is kind.[(((((triple9) -> rule5) triple10) -> rule1) OR ((((triple9) -> rule5) ((((triple9) -> rule4)) -> rule7)) -> rule1))]