Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Dave is quiet. Dave is red. Dave is young. Fiona is blue. Fiona is furry. Fiona is red. Fiona is young. Gary is big. Gary is blue. Gary is nice. Gary is young. Young, big things are red. Blue things are young. Young, nice things are red. Quiet things are nice. If something is big and nice then it is furry. If something is big and quiet then it is blue. Big things are young. If something is young and blue then it is quiet.
Dave is quiet.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple4) -> rule4) OR ((((((triple1) -> rule2) triple1) -> rule8)) -> rule4))] Bob is quiet.[(triple4 OR ((((triple1) -> rule2) triple1) -> rule8))] Bob is red.[(triple5 OR ((((triple1) -> rule2) triple3) -> rule3) OR ((((triple1) -> rule2) ((triple4) -> rule4)) -> rule3) OR ((((triple1) -> rule2) ((((((triple1) -> rule2) triple1) -> rule8)) -> rule4)) -> rule3))] Dave is quiet.[(triple6)] Dave is red.[(triple7 OR ((triple8 ((triple6) -> rule4)) -> rule3))] Dave is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is red.[(triple11 OR ((triple12 ((((triple12 triple9) -> rule8)) -> rule4)) -> rule3) OR ((((triple9) -> rule2) ((((triple12 triple9) -> rule8)) -> rule4)) -> rule3) OR ((triple12 ((((((triple9) -> rule2) triple9) -> rule8)) -> rule4)) -> rule3) OR ((((triple9) -> rule2) ((((((triple9) -> rule2) triple9) -> rule8)) -> rule4)) -> rule3))] Fiona is young.[(triple12 OR ((triple9) -> rule2))] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is nice.[(triple15 OR ((((triple16 triple14) -> rule8)) -> rule4) OR ((((((triple13) -> rule7) triple14) -> rule8)) -> rule4) OR ((((((triple14) -> rule2) triple14) -> rule8)) -> rule4))] Gary is young.[(triple16 OR ((triple13) -> rule7) OR ((triple14) -> rule2))] @1: Bob is young.[(((triple1) -> rule2))] Dave is nice.[(((triple6) -> rule4))] Fiona is quiet.[(((triple12 triple9) -> rule8) OR ((((triple9) -> rule2) triple9) -> rule8))] Gary is furry.[(((triple13 triple15) -> rule5) OR ((triple13 ((((triple16 triple14) -> rule8)) -> rule4)) -> rule5) OR ((triple13 ((((((triple13) -> rule7) triple14) -> rule8)) -> rule4)) -> rule5) OR ((triple13 ((((((triple14) -> rule2) triple14) -> rule8)) -> rule4)) -> rule5))] Gary is quiet.[(((triple16 triple14) -> rule8) OR ((((triple13) -> rule7) triple14) -> rule8) OR ((((triple14) -> rule2) triple14) -> rule8))] Gary is red.[(((triple16 triple13) -> rule1) OR ((triple16 triple15) -> rule3) OR ((((triple13) -> rule7) triple13) -> rule1) OR ((((triple13) -> rule7) triple15) -> rule3) OR ((((triple14) -> rule2) triple13) -> rule1) OR ((((triple14) -> rule2) triple15) -> rule3) OR ((triple16 ((((triple16 triple14) -> rule8)) -> rule4)) -> rule3) OR ((((triple13) -> rule7) ((((triple16 triple14) -> rule8)) -> rule4)) -> rule3) OR ((((triple14) -> rule2) ((((triple16 triple14) -> rule8)) -> rule4)) -> rule3) OR ((triple16 ((((((triple13) -> rule7) triple14) -> rule8)) -> rule4)) -> rule3) OR ((triple16 ((((((triple14) -> rule2) triple14) -> rule8)) -> rule4)) -> rule3) OR ((((triple13) -> rule7) ((((((triple13) -> rule7) triple14) -> rule8)) -> rule4)) -> rule3) OR ((((triple13) -> rule7) ((((((triple14) -> rule2) triple14) -> rule8)) -> rule4)) -> rule3) OR ((((triple14) -> rule2) ((((((triple13) -> rule7) triple14) -> rule8)) -> rule4)) -> rule3) OR ((((triple14) -> rule2) ((((((triple14) -> rule2) triple14) -> rule8)) -> rule4)) -> rule3))] @2: Fiona is nice.[(((((triple12 triple9) -> rule8)) -> rule4) OR ((((((triple9) -> rule2) triple9) -> rule8)) -> rule4))]