Bob is big. Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is young. Charlie is green. Charlie is red. Charlie is young. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is young. If Bob is nice then Bob is red. All young things are red. All nice things are kind. If something is kind then it is cold. Cold things are young. All green, red things are nice.
Charlie is not cold.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((((triple4) -> rule3)) -> rule4) OR ((((((triple3 triple5) -> rule6)) -> rule3)) -> rule4) OR ((((((triple3 ((triple6) -> rule2)) -> rule6)) -> rule3)) -> rule4))] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple6) -> rule2)) -> rule6) OR ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule6))] Bob is red.[(triple5 OR ((triple4) -> rule1) OR ((triple6) -> rule2) OR ((((triple2) -> rule5)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule5)) -> rule2))] Bob is young.[(triple6 OR ((triple2) -> rule5) OR ((((((triple4) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple3 triple5) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Charlie is green.[(triple7)] Charlie is red.[(triple8 OR ((triple9) -> rule2))] Charlie is young.[(triple9 OR ((((((((triple7 triple8) -> rule6)) -> rule3)) -> rule4)) -> rule5))] Dave is big.[(triple10)] Dave is cold.[(triple11 OR ((triple13) -> rule4) OR ((((triple14) -> rule3)) -> rule4) OR ((((((triple12 triple15) -> rule6)) -> rule3)) -> rule4) OR ((((((triple12 ((triple16) -> rule2)) -> rule6)) -> rule3)) -> rule4))] Dave is green.[(triple12)] Dave is kind.[(triple13 OR ((triple14) -> rule3) OR ((((triple12 triple15) -> rule6)) -> rule3) OR ((((triple12 ((triple16) -> rule2)) -> rule6)) -> rule3) OR ((((triple12 ((((triple11) -> rule5)) -> rule2)) -> rule6)) -> rule3))] Dave is nice.[(triple14 OR ((triple12 triple15) -> rule6) OR ((triple12 ((triple16) -> rule2)) -> rule6) OR ((triple12 ((((triple11) -> rule5)) -> rule2)) -> rule6) OR ((triple12 ((((((triple13) -> rule4)) -> rule5)) -> rule2)) -> rule6))] Dave is red.[(triple15 OR ((triple16) -> rule2) OR ((((triple11) -> rule5)) -> rule2) OR ((((((triple13) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple14) -> rule3)) -> rule4)) -> rule5)) -> rule2))] Dave is young.[(triple16 OR ((triple11) -> rule5) OR ((((triple13) -> rule4)) -> rule5) OR ((((((triple14) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple12 triple15) -> rule6)) -> rule3)) -> rule4)) -> rule5))] @1: Bob is kind.[(((triple4) -> rule3) OR ((((triple3 triple5) -> rule6)) -> rule3) OR ((((triple3 ((triple6) -> rule2)) -> rule6)) -> rule3) OR ((((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule3))] Charlie is nice.[(((triple7 triple8) -> rule6) OR ((triple7 ((triple9) -> rule2)) -> rule6))] @2: Charlie is kind.[(((((triple7 triple8) -> rule6)) -> rule3) OR ((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3))] @3: Charlie is cold.[(((((((triple7 triple8) -> rule6)) -> rule3)) -> rule4) OR ((((((triple7 ((triple9) -> rule2)) -> rule6)) -> rule3)) -> rule4))]