Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Dave is big. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Dave is young. Fiona is big. Fiona is smart. All quiet, young things are rough. All big, young things are kind. Kind things are quiet. If something is smart and kind then it is nice. All kind things are young. If Anne is quiet then Anne is big. All nice things are young. If something is big and smart then it is quiet.
Anne is young.
@0: Anne is big.[(triple1 OR ((triple4) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Anne is kind.[(triple2 OR ((triple1 triple7) -> rule2) OR ((triple1 ((triple3) -> rule7)) -> rule2) OR ((((triple4) -> rule6) triple7) -> rule2) OR ((((triple4) -> rule6) ((triple3) -> rule7)) -> rule2))] Anne is nice.[(triple3 OR ((triple6 triple2) -> rule4) OR ((triple6 ((triple1 triple7) -> rule2)) -> rule4) OR ((triple6 ((((triple4) -> rule6) triple7) -> rule2)) -> rule4))] Anne is quiet.[(triple4 OR ((triple2) -> rule3) OR ((triple1 triple6) -> rule8) OR ((((triple1 triple7) -> rule2)) -> rule3) OR ((((triple1 ((triple3) -> rule7)) -> rule2)) -> rule3))] Anne is rough.[(triple5 OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple2) -> rule5)) -> rule1) OR ((triple4 ((triple3) -> rule7)) -> rule1) OR ((((triple2) -> rule3) triple7) -> rule1) OR ((((triple1 triple6) -> rule8) triple7) -> rule1) OR ((((triple2) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((triple2) -> rule3) ((triple3) -> rule7)) -> rule1) OR ((((triple1 triple6) -> rule8) ((triple2) -> rule5)) -> rule1) OR ((((triple1 triple6) -> rule8) ((triple3) -> rule7)) -> rule1) OR ((triple4 ((((triple6 triple2) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule3) triple7) -> rule1) OR ((((triple2) -> rule3) ((((triple6 triple2) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule3) ((triple3) -> rule7)) -> rule1) OR ((((triple1 triple6) -> rule8) ((((triple6 triple2) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1 triple7) -> rule2)) -> rule3) ((((triple6 triple2) -> rule4)) -> rule7)) -> rule1) OR ((((((triple1 ((triple3) -> rule7)) -> rule2)) -> rule3) triple7) -> rule1) OR ((((((triple1 ((triple3) -> rule7)) -> rule2)) -> rule3) ((triple2) -> rule5)) -> rule1) OR ((((((triple1 ((triple3) -> rule7)) -> rule2)) -> rule3) ((triple3) -> rule7)) -> rule1) OR ((((((triple1 ((triple3) -> rule7)) -> rule2)) -> rule3) ((((triple6 triple2) -> rule4)) -> rule7)) -> rule1))] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple2) -> rule5) OR ((triple3) -> rule7) OR ((((triple6 triple2) -> rule4)) -> rule7))] Dave is big.[(triple8)] Dave is kind.[(triple9 OR ((triple8 triple13) -> rule2))] Dave is quiet.[(triple10 OR ((triple9) -> rule3) OR ((triple8 triple12) -> rule8) OR ((((triple8 triple13) -> rule2)) -> rule3))] Dave is rough.[(triple11 OR ((triple10 triple13) -> rule1) OR ((triple10 ((triple9) -> rule5)) -> rule1) OR ((((triple9) -> rule3) triple13) -> rule1) OR ((((triple8 triple12) -> rule8) triple13) -> rule1) OR ((((triple9) -> rule3) ((triple9) -> rule5)) -> rule1) OR ((((triple8 triple12) -> rule8) ((triple9) -> rule5)) -> rule1) OR ((triple10 ((((triple12 triple9) -> rule4)) -> rule7)) -> rule1) OR ((((((triple8 triple13) -> rule2)) -> rule3) triple13) -> rule1) OR ((((triple9) -> rule3) ((((triple12 triple9) -> rule4)) -> rule7)) -> rule1) OR ((((((triple8 triple13) -> rule2)) -> rule3) ((triple9) -> rule5)) -> rule1) OR ((((triple8 triple12) -> rule8) ((((triple12 triple9) -> rule4)) -> rule7)) -> rule1) OR ((((((triple8 triple13) -> rule2)) -> rule3) ((((triple12 triple9) -> rule4)) -> rule7)) -> rule1))] Dave is smart.[(triple12)] Dave is young.[(triple13 OR ((triple9) -> rule5) OR ((((triple12 triple9) -> rule4)) -> rule7))] Fiona is big.[(triple14)] Fiona is smart.[(triple15)] @1: Dave is nice.[(((triple12 triple9) -> rule4) OR ((triple12 ((triple8 triple13) -> rule2)) -> rule4))] Fiona is quiet.[(((triple14 triple15) -> rule8))]