Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is rough. Anne is young. Bob is blue. Bob is cold. Bob is kind. Bob is red. Bob is young. Gary is blue. Gary is furry. Gary is red. Gary is rough. If Gary is cold and Gary is red then Gary is kind. All kind, cold people are young. Furry people are cold. All blue people are red. If someone is red and rough then they are cold. Kind people are rough. All kind, red people are furry. Red, furry people are blue.
Gary is not kind.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule3) OR ((triple4 triple5) -> rule5) OR ((((triple3 triple4) -> rule7)) -> rule3) OR ((triple4 ((triple3) -> rule6)) -> rule5))] Anne is furry.[(triple2 OR ((triple3 triple4) -> rule7))] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3) -> rule6))] Anne is young.[(triple6 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple2) -> rule3)) -> rule2) OR ((triple3 ((triple4 triple5) -> rule5)) -> rule2) OR ((triple3 ((((triple3 triple4) -> rule7)) -> rule3)) -> rule2) OR ((triple3 ((triple4 ((triple3) -> rule6)) -> rule5)) -> rule2))] Bob is blue.[(triple7 OR ((triple10 ((triple9 triple10) -> rule7)) -> rule8))] Bob is cold.[(triple8 OR ((((triple9 triple10) -> rule7)) -> rule3) OR ((triple10 ((triple9) -> rule6)) -> rule5) OR ((((triple7) -> rule4) ((triple9) -> rule6)) -> rule5) OR ((((triple9 ((triple7) -> rule4)) -> rule7)) -> rule3))] Bob is kind.[(triple9)] Bob is red.[(triple10 OR ((triple7) -> rule4))] Bob is young.[(triple11 OR ((triple9 triple8) -> rule2) OR ((triple9 ((((triple9 triple10) -> rule7)) -> rule3)) -> rule2) OR ((triple9 ((triple10 ((triple9) -> rule6)) -> rule5)) -> rule2) OR ((triple9 ((((triple7) -> rule4) ((triple9) -> rule6)) -> rule5)) -> rule2) OR ((triple9 ((((triple9 ((triple7) -> rule4)) -> rule7)) -> rule3)) -> rule2))] Gary is blue.[(triple12 OR ((triple14 triple13) -> rule8) OR ((triple14 ((((((triple14 triple15) -> rule5) triple14) -> rule1) triple14) -> rule7)) -> rule8))] Gary is furry.[(triple13 OR ((((((triple14 triple15) -> rule5) triple14) -> rule1) triple14) -> rule7) OR ((((((triple14 triple15) -> rule5) triple14) -> rule1) ((triple12) -> rule4)) -> rule7) OR ((((((triple14 triple15) -> rule5) ((triple12) -> rule4)) -> rule1) triple14) -> rule7) OR ((((((triple14 triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((triple12) -> rule4)) -> rule7) OR ((((((((triple12) -> rule4) triple15) -> rule5) triple14) -> rule1) triple14) -> rule7) OR ((((((((triple12) -> rule4) triple15) -> rule5) triple14) -> rule1) ((triple12) -> rule4)) -> rule7) OR ((((((((triple12) -> rule4) triple15) -> rule5) ((triple12) -> rule4)) -> rule1) triple14) -> rule7) OR ((((((((triple12) -> rule4) triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((triple12) -> rule4)) -> rule7))] Gary is red.[(triple14 OR ((triple12) -> rule4))] Gary is rough.[(triple15 OR ((((((triple13) -> rule3) triple14) -> rule1)) -> rule6) OR ((((((triple13) -> rule3) ((triple12) -> rule4)) -> rule1)) -> rule6))] @1: Anne is blue.[(((triple4 triple2) -> rule8) OR ((triple4 ((triple3 triple4) -> rule7)) -> rule8))] Bob is furry.[(((triple9 triple10) -> rule7) OR ((triple9 ((triple7) -> rule4)) -> rule7))] Bob is rough.[(((triple9) -> rule6))] Gary is cold.[(((triple13) -> rule3) OR ((triple14 triple15) -> rule5) OR ((((triple12) -> rule4) triple15) -> rule5))] @2: Gary is kind.[(((((triple13) -> rule3) triple14) -> rule1) OR ((((triple14 triple15) -> rule5) triple14) -> rule1) OR ((((triple13) -> rule3) ((triple12) -> rule4)) -> rule1) OR ((((triple14 triple15) -> rule5) ((triple12) -> rule4)) -> rule1) OR ((((((triple12) -> rule4) triple15) -> rule5) triple14) -> rule1) OR ((((((triple12) -> rule4) triple15) -> rule5) ((triple12) -> rule4)) -> rule1))] @3: Gary is young.[(((((((triple13) -> rule3) triple14) -> rule1) ((triple13) -> rule3)) -> rule2) OR ((((((triple13) -> rule3) triple14) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5) triple14) -> rule1) ((triple13) -> rule3)) -> rule2) OR ((((((triple14 triple15) -> rule5) triple14) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple13) -> rule3) triple14) -> rule1) ((((triple12) -> rule4) triple15) -> rule5)) -> rule2) OR ((((((triple13) -> rule3) ((triple12) -> rule4)) -> rule1) ((triple13) -> rule3)) -> rule2) OR ((((((triple13) -> rule3) ((triple12) -> rule4)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5) triple14) -> rule1) ((((triple12) -> rule4) triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((triple13) -> rule3)) -> rule2) OR ((((((triple14 triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((triple13) -> rule3) ((triple12) -> rule4)) -> rule1) ((((triple12) -> rule4) triple15) -> rule5)) -> rule2) OR ((((((triple14 triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((((triple12) -> rule4) triple15) -> rule5)) -> rule2) OR ((((((((triple12) -> rule4) triple15) -> rule5) triple14) -> rule1) ((triple13) -> rule3)) -> rule2) OR ((((((((triple12) -> rule4) triple15) -> rule5) triple14) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((((triple12) -> rule4) triple15) -> rule5) triple14) -> rule1) ((((triple12) -> rule4) triple15) -> rule5)) -> rule2) OR ((((((((triple12) -> rule4) triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((triple13) -> rule3)) -> rule2) OR ((((((((triple12) -> rule4) triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((triple14 triple15) -> rule5)) -> rule2) OR ((((((((triple12) -> rule4) triple15) -> rule5) ((triple12) -> rule4)) -> rule1) ((((triple12) -> rule4) triple15) -> rule5)) -> rule2))]