Erin is blue. Erin is furry. Erin is kind. Erin is red. Erin is round. Erin is smart. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is smart. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is round. Gary is smart. If someone is red and furry then they are round. Blue people are red. All smart people are red. If Fiona is smart and Fiona is round then Fiona is kind. All kind, red people are cold. If someone is round then they are kind. Kind people are blue. If someone is round and red then they are smart.
Gary is furry.
@0: Erin is blue.[(triple1 OR ((triple3) -> rule7) OR ((((triple5) -> rule6)) -> rule7) OR ((((((triple4 triple2) -> rule1)) -> rule6)) -> rule7) OR ((((((((triple6) -> rule3) triple2) -> rule1)) -> rule6)) -> rule7))] Erin is furry.[(triple2)] Erin is kind.[(triple3 OR ((triple5) -> rule6) OR ((((triple4 triple2) -> rule1)) -> rule6) OR ((((((triple1) -> rule2) triple2) -> rule1)) -> rule6) OR ((((((triple6) -> rule3) triple2) -> rule1)) -> rule6))] Erin is red.[(triple4 OR ((triple1) -> rule2) OR ((triple6) -> rule3) OR ((((triple3) -> rule7)) -> rule2) OR ((((((triple5) -> rule6)) -> rule7)) -> rule2))] Erin is round.[(triple5 OR ((triple4 triple2) -> rule1) OR ((((triple1) -> rule2) triple2) -> rule1) OR ((((triple6) -> rule3) triple2) -> rule1) OR ((((((triple3) -> rule7)) -> rule2) triple2) -> rule1))] Erin is smart.[(triple6 OR ((triple5 triple4) -> rule8) OR ((triple5 ((triple1) -> rule2)) -> rule8) OR ((((triple4 triple2) -> rule1) triple4) -> rule8) OR ((((triple4 triple2) -> rule1) ((triple1) -> rule2)) -> rule8) OR ((triple5 ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((((((triple1) -> rule2) triple2) -> rule1) triple4) -> rule8) OR ((((triple4 triple2) -> rule1) ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((((((triple1) -> rule2) triple2) -> rule1) ((triple1) -> rule2)) -> rule8) OR ((((((triple1) -> rule2) triple2) -> rule1) ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((triple5 ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule2) triple2) -> rule1) triple4) -> rule8) OR ((((triple4 triple2) -> rule1) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule2) triple2) -> rule1) ((triple1) -> rule2)) -> rule8) OR ((((((triple1) -> rule2) triple2) -> rule1) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule2) triple2) -> rule1) ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule7)) -> rule2) triple2) -> rule1) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule8))] Fiona is cold.[(triple7 OR ((triple9 ((triple10) -> rule3)) -> rule5) OR ((triple9 ((((triple9) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple10) -> rule3) triple8) -> rule1)) -> rule6) ((triple10) -> rule3)) -> rule5) OR ((((triple10 ((((triple10) -> rule3) triple8) -> rule1)) -> rule4) ((triple10) -> rule3)) -> rule5) OR ((((((((triple10) -> rule3) triple8) -> rule1)) -> rule6) ((((triple9) -> rule7)) -> rule2)) -> rule5) OR ((((triple10 ((((triple10) -> rule3) triple8) -> rule1)) -> rule4) ((((triple9) -> rule7)) -> rule2)) -> rule5))] Fiona is furry.[(triple8)] Fiona is kind.[(triple9 OR ((((((triple10) -> rule3) triple8) -> rule1)) -> rule6) OR ((triple10 ((((triple10) -> rule3) triple8) -> rule1)) -> rule4))] Fiona is smart.[(triple10 OR ((((((((triple9) -> rule7)) -> rule2) triple8) -> rule1) ((((triple9) -> rule7)) -> rule2)) -> rule8))] Gary is blue.[(triple11 OR ((triple14) -> rule7) OR ((((triple15) -> rule6)) -> rule7) OR ((((((((triple16) -> rule3) triple13) -> rule1)) -> rule6)) -> rule7))] Gary is cold.[(triple12 OR ((triple14 ((triple11) -> rule2)) -> rule5) OR ((triple14 ((triple16) -> rule3)) -> rule5) OR ((((triple15) -> rule6) ((triple11) -> rule2)) -> rule5) OR ((((triple15) -> rule6) ((triple16) -> rule3)) -> rule5) OR ((triple14 ((((triple14) -> rule7)) -> rule2)) -> rule5) OR ((((triple15) -> rule6) ((((triple14) -> rule7)) -> rule2)) -> rule5) OR ((triple14 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((triple15) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple11) -> rule2) triple13) -> rule1)) -> rule6) ((triple11) -> rule2)) -> rule5) OR ((((((((triple11) -> rule2) triple13) -> rule1)) -> rule6) ((triple16) -> rule3)) -> rule5) OR ((((((((triple16) -> rule3) triple13) -> rule1)) -> rule6) ((triple11) -> rule2)) -> rule5) OR ((((((((triple16) -> rule3) triple13) -> rule1)) -> rule6) ((triple16) -> rule3)) -> rule5) OR ((((((((triple11) -> rule2) triple13) -> rule1)) -> rule6) ((((triple14) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple16) -> rule3) triple13) -> rule1)) -> rule6) ((((triple14) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple11) -> rule2) triple13) -> rule1)) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple16) -> rule3) triple13) -> rule1)) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5))] Gary is furry.[(triple13)] Gary is kind.[(triple14 OR ((triple15) -> rule6) OR ((((((triple11) -> rule2) triple13) -> rule1)) -> rule6) OR ((((((triple16) -> rule3) triple13) -> rule1)) -> rule6))] Gary is round.[(triple15 OR ((((triple11) -> rule2) triple13) -> rule1) OR ((((triple16) -> rule3) triple13) -> rule1) OR ((((((triple14) -> rule7)) -> rule2) triple13) -> rule1))] Gary is smart.[(triple16 OR ((triple15 ((triple11) -> rule2)) -> rule8) OR ((triple15 ((((triple14) -> rule7)) -> rule2)) -> rule8) OR ((((((triple11) -> rule2) triple13) -> rule1) ((triple11) -> rule2)) -> rule8) OR ((((((triple11) -> rule2) triple13) -> rule1) ((((triple14) -> rule7)) -> rule2)) -> rule8) OR ((triple15 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple14) -> rule7)) -> rule2) triple13) -> rule1) ((triple11) -> rule2)) -> rule8) OR ((((((triple11) -> rule2) triple13) -> rule1) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple14) -> rule7)) -> rule2) triple13) -> rule1) ((((triple14) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple14) -> rule7)) -> rule2) triple13) -> rule1) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule8))] @1: Erin is cold.[(((triple3 triple4) -> rule5) OR ((triple3 ((triple1) -> rule2)) -> rule5) OR ((triple3 ((triple6) -> rule3)) -> rule5) OR ((((triple5) -> rule6) triple4) -> rule5) OR ((((triple5) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((triple5) -> rule6) ((triple6) -> rule3)) -> rule5) OR ((triple3 ((((triple3) -> rule7)) -> rule2)) -> rule5) OR ((((((triple4 triple2) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5) -> rule6) ((((triple3) -> rule7)) -> rule2)) -> rule5) OR ((((((triple4 triple2) -> rule1)) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((((triple4 triple2) -> rule1)) -> rule6) ((triple6) -> rule3)) -> rule5) OR ((((((triple4 triple2) -> rule1)) -> rule6) ((((triple3) -> rule7)) -> rule2)) -> rule5) OR ((triple3 ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule2) triple2) -> rule1)) -> rule6) triple4) -> rule5) OR ((((((((triple6) -> rule3) triple2) -> rule1)) -> rule6) triple4) -> rule5) OR ((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule2) triple2) -> rule1)) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((((((triple1) -> rule2) triple2) -> rule1)) -> rule6) ((triple6) -> rule3)) -> rule5) OR ((((((((triple6) -> rule3) triple2) -> rule1)) -> rule6) ((triple1) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3) triple2) -> rule1)) -> rule6) ((triple6) -> rule3)) -> rule5) OR ((((((triple4 triple2) -> rule1)) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule2) triple2) -> rule1)) -> rule6) ((((triple3) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3) triple2) -> rule1)) -> rule6) ((((triple3) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple1) -> rule2) triple2) -> rule1)) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3) triple2) -> rule1)) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5))] Fiona is blue.[(((triple9) -> rule7) OR ((((((((triple10) -> rule3) triple8) -> rule1)) -> rule6)) -> rule7) OR ((((triple10 ((((triple10) -> rule3) triple8) -> rule1)) -> rule4)) -> rule7))] Fiona is red.[(((triple10) -> rule3) OR ((((triple9) -> rule7)) -> rule2))] Gary is red.[(((triple11) -> rule2) OR ((triple16) -> rule3) OR ((((triple14) -> rule7)) -> rule2) OR ((((((triple15) -> rule6)) -> rule7)) -> rule2))] @2: Fiona is round.[(((((triple10) -> rule3) triple8) -> rule1) OR ((((((triple9) -> rule7)) -> rule2) triple8) -> rule1))]