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