Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is rough. Dave is round. Dave is smart. Fiona is green. Fiona is rough. Fiona is smart. Kind, smart people are big. If Dave is big and Dave is kind then Dave is furry. All green, round people are big. If someone is kind then they are round. All big, smart people are kind. If someone is rough then they are round.
Fiona is not big.
@0: Dave is big.[(triple1 OR ((triple3 triple6) -> rule3) OR ((triple4 triple7) -> rule1) OR ((triple3 ((triple4) -> rule4)) -> rule3) OR ((triple3 ((triple5) -> rule6)) -> rule3))] Dave is furry.[(triple2 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1 triple7) -> rule5)) -> rule2) OR ((((triple3 triple6) -> rule3) triple4) -> rule2) OR ((((triple4 triple7) -> rule1) triple4) -> rule2) OR ((((triple3 triple6) -> rule3) ((triple1 triple7) -> rule5)) -> rule2) OR ((((triple4 triple7) -> rule1) ((triple1 triple7) -> rule5)) -> rule2) OR ((triple1 ((((triple3 triple6) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple4) -> rule4)) -> rule3) triple4) -> rule2) OR ((((triple3 ((triple5) -> rule6)) -> rule3) triple4) -> rule2) OR ((((triple3 triple6) -> rule3) ((((triple3 triple6) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple4) -> rule4)) -> rule3) ((triple1 triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple5) -> rule6)) -> rule3) ((triple1 triple7) -> rule5)) -> rule2) OR ((((triple4 triple7) -> rule1) ((((triple3 triple6) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple4) -> rule4)) -> rule3) ((((triple3 triple6) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple5) -> rule6)) -> rule3) ((((triple3 triple6) -> rule3) triple7) -> rule5)) -> rule2) OR ((triple1 ((((triple3 ((triple5) -> rule6)) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple3 triple6) -> rule3) ((((triple3 ((triple5) -> rule6)) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple4 triple7) -> rule1) ((((triple3 ((triple5) -> rule6)) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple4) -> rule4)) -> rule3) ((((triple3 ((triple5) -> rule6)) -> rule3) triple7) -> rule5)) -> rule2) OR ((((triple3 ((triple5) -> rule6)) -> rule3) ((((triple3 ((triple5) -> rule6)) -> rule3) triple7) -> rule5)) -> rule2))] Dave is green.[(triple3)] Dave is kind.[(triple4 OR ((triple1 triple7) -> rule5) OR ((((triple3 triple6) -> rule3) triple7) -> rule5) OR ((((triple3 ((triple5) -> rule6)) -> rule3) triple7) -> rule5))] Dave is rough.[(triple5)] Dave is round.[(triple6 OR ((triple4) -> rule4) OR ((triple5) -> rule6) OR ((((triple1 triple7) -> rule5)) -> rule4))] Dave is smart.[(triple7)] Fiona is green.[(triple8)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is round.[(((triple9) -> rule6))] @2: Fiona is big.[(((triple8 ((triple9) -> rule6)) -> rule3))] @3: Fiona is kind.[(((((triple8 ((triple9) -> rule6)) -> rule3) triple10) -> rule5))]