Dave is blue. Dave is red. Dave is smart. Erin is blue. Erin is red. Erin is young. Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is young. All rough, blue people are green. Green, smart people are red. If someone is nice then they are young. Green, rough people are red. Red people are young. All red, nice people are rough. If someone is young then they are nice. All rough, blue people are young.
Dave is not rough.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Dave is smart.[(triple3)] Erin is blue.[(triple4)] Erin is red.[(triple5)] Erin is young.[(triple6 OR ((triple5) -> rule5))] Fiona is blue.[(triple7)] Fiona is green.[(triple8 OR ((triple11 triple7) -> rule1) OR ((((triple10 triple9) -> rule6) triple7) -> rule1) OR ((((triple10 ((triple12) -> rule7)) -> rule6) triple7) -> rule1) OR ((((triple10 ((((triple10) -> rule5)) -> rule7)) -> rule6) triple7) -> rule1))] Fiona is nice.[(triple9 OR ((triple12) -> rule7) OR ((((triple10) -> rule5)) -> rule7) OR ((((triple11 triple7) -> rule8)) -> rule7) OR ((((((triple8 triple11) -> rule4)) -> rule5)) -> rule7) OR ((((((((triple11 triple7) -> rule1) triple11) -> rule4)) -> rule5)) -> rule7))] Fiona is red.[(triple10 OR ((triple8 triple11) -> rule4) OR ((((triple11 triple7) -> rule1) triple11) -> rule4))] Fiona is rough.[(triple11 OR ((triple10 triple9) -> rule6) OR ((triple10 ((triple12) -> rule7)) -> rule6) OR ((triple10 ((((triple10) -> rule5)) -> rule7)) -> rule6))] Fiona is young.[(triple12 OR ((triple10) -> rule5) OR ((triple9) -> rule3) OR ((triple11 triple7) -> rule8) OR ((((triple8 triple11) -> rule4)) -> rule5) OR ((((triple10 triple9) -> rule6) triple7) -> rule8) OR ((((((triple11 triple7) -> rule1) triple11) -> rule4)) -> rule5))] @1: Dave is young.[(((triple2) -> rule5))] Erin is nice.[(((triple6) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] @2: Dave is nice.[(((((triple2) -> rule5)) -> rule7))] Erin is rough.[(((triple5 ((triple6) -> rule7)) -> rule6) OR ((triple5 ((((triple5) -> rule5)) -> rule7)) -> rule6))] @3: Dave is rough.[(((triple2 ((((triple2) -> rule5)) -> rule7)) -> rule6))] Erin is green.[(((((triple5 ((triple6) -> rule7)) -> rule6) triple4) -> rule1) OR ((((triple5 ((((triple5) -> rule5)) -> rule7)) -> rule6) triple4) -> rule1))] @4: Dave is green.[(((((triple2 ((((triple2) -> rule5)) -> rule7)) -> rule6) triple1) -> rule1))]