Bob is big. Bob is kind. Dave is big. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Gary is blue. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Kind things are nice. Big things are quiet. If something is big and cold then it is quiet. Blue, nice things are young. If something is nice and young then it is blue. If something is nice and kind then it is young.
Gary is not young.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Dave is big.[(triple3)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is nice.[(triple6 OR ((triple5) -> rule1))] Dave is quiet.[(triple7 OR ((triple3) -> rule2) OR ((triple3 triple4) -> rule3))] Gary is blue.[(triple8)] Harry is blue.[(triple9 OR ((triple11 ((triple11 triple10) -> rule6)) -> rule5) OR ((((triple10) -> rule1) ((triple11 triple10) -> rule6)) -> rule5) OR ((triple11 ((((triple10) -> rule1) triple10) -> rule6)) -> rule5) OR ((((triple10) -> rule1) ((((triple10) -> rule1) triple10) -> rule6)) -> rule5))] Harry is kind.[(triple10)] Harry is nice.[(triple11 OR ((triple10) -> rule1))] Harry is quiet.[(triple12)] @1: Bob is nice.[(((triple2) -> rule1))] Bob is quiet.[(((triple1) -> rule2))] Dave is young.[(((triple6 triple5) -> rule6) OR ((((triple5) -> rule1) triple5) -> rule6))] Harry is young.[(((triple11 triple10) -> rule6) OR ((triple9 triple11) -> rule4) OR ((triple9 ((triple10) -> rule1)) -> rule4) OR ((((triple10) -> rule1) triple10) -> rule6))] @2: Bob is young.[(((((triple2) -> rule1) triple2) -> rule6))] Dave is blue.[(((triple6 ((triple6 triple5) -> rule6)) -> rule5) OR ((((triple5) -> rule1) ((triple6 triple5) -> rule6)) -> rule5) OR ((triple6 ((((triple5) -> rule1) triple5) -> rule6)) -> rule5) OR ((((triple5) -> rule1) ((((triple5) -> rule1) triple5) -> rule6)) -> rule5))] @3: Bob is blue.[(((((triple2) -> rule1) ((((triple2) -> rule1) triple2) -> rule6)) -> rule5))]