Dave is big. Dave is blue. Dave is nice. Dave is quiet. Dave is rough. Fiona is big. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. If someone is quiet then they are red. All rough people are round. All rough people are round. If someone is rough and nice then they are round. All quiet people are big. If someone is rough then they are nice. If someone is big then they are rough. If someone is round then they are rough.
Dave is not rough.
@0: Dave is big.[(triple1 OR ((triple4) -> rule5))] Dave is blue.[(triple2)] Dave is nice.[(triple3 OR ((triple5) -> rule6) OR ((((triple1) -> rule7)) -> rule6) OR ((((((triple4) -> rule5)) -> rule7)) -> rule6))] Dave is quiet.[(triple4)] Dave is rough.[(triple5 OR ((triple1) -> rule7) OR ((((triple4) -> rule5)) -> rule7))] Fiona is big.[(triple6 OR ((triple9) -> rule5))] Fiona is blue.[(triple7)] Fiona is nice.[(triple8 OR ((triple11) -> rule6) OR ((((triple12) -> rule8)) -> rule6) OR ((((triple6) -> rule7)) -> rule6) OR ((((((triple9) -> rule5)) -> rule7)) -> rule6))] Fiona is quiet.[(triple9)] Fiona is red.[(triple10 OR ((triple9) -> rule1))] Fiona is rough.[(triple11 OR ((triple12) -> rule8) OR ((triple6) -> rule7) OR ((((triple9) -> rule5)) -> rule7))] Fiona is round.[(triple12 OR ((triple11) -> rule2) OR ((triple11) -> rule3) OR ((triple11 triple8) -> rule4) OR ((((triple6) -> rule7)) -> rule2) OR ((((triple6) -> rule7)) -> rule3) OR ((triple11 ((triple11) -> rule6)) -> rule4) OR ((((triple6) -> rule7) triple8) -> rule4) OR ((((triple6) -> rule7) ((triple11) -> rule6)) -> rule4) OR ((((((triple9) -> rule5)) -> rule7)) -> rule2) OR ((((((triple9) -> rule5)) -> rule7)) -> rule3) OR ((triple11 ((((triple6) -> rule7)) -> rule6)) -> rule4) OR ((((((triple9) -> rule5)) -> rule7) triple8) -> rule4) OR ((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule6)) -> rule4) OR ((((((triple9) -> rule5)) -> rule7) ((triple11) -> rule6)) -> rule4) OR ((((((triple9) -> rule5)) -> rule7) ((((triple6) -> rule7)) -> rule6)) -> rule4) OR ((triple11 ((((((triple9) -> rule5)) -> rule7)) -> rule6)) -> rule4) OR ((((triple6) -> rule7) ((((((triple9) -> rule5)) -> rule7)) -> rule6)) -> rule4) OR ((((((triple9) -> rule5)) -> rule7) ((((((triple9) -> rule5)) -> rule7)) -> rule6)) -> rule4))] @1: Dave is red.[(((triple4) -> rule1))] Dave is round.[(((triple5) -> rule2) OR ((triple5) -> rule3) OR ((triple5 triple3) -> rule4) OR ((((triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule7)) -> rule3) OR ((triple5 ((triple5) -> rule6)) -> rule4) OR ((((triple1) -> rule7) triple3) -> rule4) OR ((((triple1) -> rule7) ((triple5) -> rule6)) -> rule4) OR ((((((triple4) -> rule5)) -> rule7)) -> rule2) OR ((((((triple4) -> rule5)) -> rule7)) -> rule3) OR ((triple5 ((((triple1) -> rule7)) -> rule6)) -> rule4) OR ((((((triple4) -> rule5)) -> rule7) triple3) -> rule4) OR ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule6)) -> rule4) OR ((((((triple4) -> rule5)) -> rule7) ((triple5) -> rule6)) -> rule4) OR ((((((triple4) -> rule5)) -> rule7) ((((triple1) -> rule7)) -> rule6)) -> rule4) OR ((triple5 ((((((triple4) -> rule5)) -> rule7)) -> rule6)) -> rule4) OR ((((triple1) -> rule7) ((((((triple4) -> rule5)) -> rule7)) -> rule6)) -> rule4) OR ((((((triple4) -> rule5)) -> rule7) ((((((triple4) -> rule5)) -> rule7)) -> rule6)) -> rule4))]