Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is red. If someone is cold then they are nice. Quiet, big people are nice. Red people are big. If someone is cold and not kind then they are quiet. Nice, big people are quiet. All red people are cold.
Dave is kind.
@0: Bob is big.[(triple1 OR ((triple7) -> rule3))] Bob is cold.[(triple2 OR ((triple7) -> rule6))] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is nice.[(triple5 OR ((triple2) -> rule1) OR ((triple6 triple1) -> rule2) OR ((((triple7) -> rule6)) -> rule1) OR ((triple6 ((triple7) -> rule3)) -> rule2))] Bob is quiet.[(triple6 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple7) -> rule3)) -> rule5) OR ((((triple2) -> rule1) triple1) -> rule5) OR ((((triple2) -> rule1) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) triple1) -> rule5) OR ((((((triple7) -> rule6)) -> rule1) ((triple7) -> rule3)) -> rule5))] Bob is red.[(triple7)] Dave is big.[(triple8 OR ((triple14) -> rule3))] Dave is cold.[(triple9 OR ((triple14) -> rule6))] Dave is furry.[(triple10)] Dave is kind.[(triple11)] Dave is nice.[(triple12 OR ((triple9) -> rule1) OR ((triple13 triple8) -> rule2) OR ((((triple14) -> rule6)) -> rule1) OR ((triple13 ((triple14) -> rule3)) -> rule2))] Dave is quiet.[(triple13 OR ((triple12 triple8) -> rule5) OR ((triple12 ((triple14) -> rule3)) -> rule5) OR ((((triple9) -> rule1) triple8) -> rule5) OR ((((triple9) -> rule1) ((triple14) -> rule3)) -> rule5) OR ((((((triple14) -> rule6)) -> rule1) triple8) -> rule5) OR ((((((triple14) -> rule6)) -> rule1) ((triple14) -> rule3)) -> rule5))] Dave is red.[(triple14)]