Dave is cold. Dave is nice. Dave is round. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Fiona is young. Young, red people are round. If Erin is cold then Erin is red. Round people are red. All cold, round people are nice. Cold, red people are nice. If someone is red and cold then they are young.
Fiona is not red.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple3) -> rule3)) -> rule5))] Dave is round.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is nice.[(triple7 OR ((triple5 triple8) -> rule5) OR ((triple5 ((triple5) -> rule2)) -> rule5) OR ((triple5 ((triple9 triple8) -> rule1)) -> rule4) OR ((triple5 ((triple9 ((triple5) -> rule2)) -> rule1)) -> rule4) OR ((triple5 ((((triple8 triple5) -> rule6) triple8) -> rule1)) -> rule4) OR ((triple5 ((((triple8 triple5) -> rule6) ((triple5) -> rule2)) -> rule1)) -> rule4) OR ((triple5 ((((((triple5) -> rule2) triple5) -> rule6) triple8) -> rule1)) -> rule4) OR ((triple5 ((((((triple5) -> rule2) triple5) -> rule6) ((triple5) -> rule2)) -> rule1)) -> rule4))] Erin is red.[(triple8 OR ((triple5) -> rule2))] Erin is young.[(triple9 OR ((triple8 triple5) -> rule6) OR ((((triple5) -> rule2) triple5) -> rule6))] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is nice.[(triple13 OR ((triple11 triple14) -> rule5) OR ((triple11 triple15) -> rule4) OR ((triple11 ((triple15) -> rule3)) -> rule5) OR ((triple11 ((triple16 triple14) -> rule1)) -> rule4) OR ((triple11 ((((triple14 triple11) -> rule6) triple14) -> rule1)) -> rule4))] Fiona is red.[(triple14 OR ((triple15) -> rule3))] Fiona is round.[(triple15 OR ((triple16 triple14) -> rule1) OR ((((triple14 triple11) -> rule6) triple14) -> rule1))] Fiona is young.[(triple16 OR ((triple14 triple11) -> rule6) OR ((((triple15) -> rule3) triple11) -> rule6))] @1: Dave is red.[(((triple3) -> rule3))] Erin is round.[(((triple9 triple8) -> rule1) OR ((triple9 ((triple5) -> rule2)) -> rule1) OR ((((triple8 triple5) -> rule6) triple8) -> rule1) OR ((((triple8 triple5) -> rule6) ((triple5) -> rule2)) -> rule1) OR ((((((triple5) -> rule2) triple5) -> rule6) triple8) -> rule1) OR ((((((triple5) -> rule2) triple5) -> rule6) ((triple5) -> rule2)) -> rule1))] @2: Dave is young.[(((((triple3) -> rule3) triple1) -> rule6))]