Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is round. Anne is smart. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is smart. If Dave is green and Dave is smart then Dave is quiet. Red people are smart. All kind people are round. If someone is green then they are furry. Smart people are kind. Green, red people are smart.
Anne is red.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule4))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple7) -> rule5) OR ((((triple5) -> rule2)) -> rule5) OR ((((triple2 triple5) -> rule6)) -> rule5))] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple3) -> rule3) OR ((((triple7) -> rule5)) -> rule3) OR ((((((triple5) -> rule2)) -> rule5)) -> rule3) OR ((((((triple2 triple5) -> rule6)) -> rule5)) -> rule3))] Anne is smart.[(triple7 OR ((triple5) -> rule2) OR ((triple2 triple5) -> rule6))] Dave is furry.[(triple8 OR ((triple9) -> rule4))] Dave is green.[(triple9)] Dave is kind.[(triple10 OR ((triple12) -> rule5) OR ((((triple11) -> rule2)) -> rule5) OR ((((triple9 triple11) -> rule6)) -> rule5))] Dave is red.[(triple11)] Dave is smart.[(triple12 OR ((triple11) -> rule2) OR ((triple9 triple11) -> rule6))] @1: Dave is quiet.[(((triple9 triple12) -> rule1) OR ((triple9 ((triple11) -> rule2)) -> rule1) OR ((triple9 ((triple9 triple11) -> rule6)) -> rule1))] Dave is round.[(((triple10) -> rule3) OR ((((triple12) -> rule5)) -> rule3) OR ((((((triple11) -> rule2)) -> rule5)) -> rule3) OR ((((((triple9 triple11) -> rule6)) -> rule5)) -> rule3))]