Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is young. If someone is nice and red then they are furry. If someone is rough then they are red. All rough people are young. If someone is furry then they are young. All rough, young people are nice. If Fiona is blue then Fiona is young.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple6) -> rule2)) -> rule1) OR ((((triple6 triple7) -> rule5) triple5) -> rule1) OR ((((triple6 triple7) -> rule5) ((triple6) -> rule2)) -> rule1) OR ((((triple6 ((triple6) -> rule3)) -> rule5) triple5) -> rule1) OR ((((triple6 ((triple6) -> rule3)) -> rule5) ((triple6) -> rule2)) -> rule1))] Dave is green.[(triple3)] Dave is nice.[(triple4 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple2) -> rule4)) -> rule5) OR ((triple6 ((triple6) -> rule3)) -> rule5))] Dave is red.[(triple5 OR ((triple6) -> rule2))] Dave is rough.[(triple6)] Dave is young.[(triple7 OR ((triple2) -> rule4) OR ((triple6) -> rule3) OR ((((triple4 triple5) -> rule1)) -> rule4) OR ((((triple4 ((triple6) -> rule2)) -> rule1)) -> rule4))] Fiona is blue.[(triple8)] Fiona is furry.[(triple9 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple13) -> rule2)) -> rule1) OR ((((triple13 triple14) -> rule5) triple12) -> rule1) OR ((((triple13 triple14) -> rule5) ((triple13) -> rule2)) -> rule1) OR ((((triple13 ((triple13) -> rule3)) -> rule5) triple12) -> rule1) OR ((((triple13 ((triple8) -> rule6)) -> rule5) triple12) -> rule1) OR ((((triple13 ((triple13) -> rule3)) -> rule5) ((triple13) -> rule2)) -> rule1) OR ((((triple13 ((triple8) -> rule6)) -> rule5) ((triple13) -> rule2)) -> rule1))] Fiona is green.[(triple10)] Fiona is nice.[(triple11 OR ((triple13 triple14) -> rule5) OR ((triple13 ((triple13) -> rule3)) -> rule5) OR ((triple13 ((triple8) -> rule6)) -> rule5) OR ((triple13 ((triple9) -> rule4)) -> rule5))] Fiona is red.[(triple12 OR ((triple13) -> rule2))] Fiona is rough.[(triple13)] Fiona is young.[(triple14 OR ((triple13) -> rule3) OR ((triple8) -> rule6) OR ((triple9) -> rule4) OR ((((triple11 triple12) -> rule1)) -> rule4) OR ((((triple11 ((triple13) -> rule2)) -> rule1)) -> rule4))]