Anne is big. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Bob is big. Bob is nice. Charlie is big. Charlie is smart. Gary is young. All nice, round things are young. All round, smart things are green. If Charlie is green and Charlie is round then Charlie is nice. All smart things are round. All young, smart things are kind. All young things are big. If something is nice and round then it is smart.
Charlie is not kind.
@0: Anne is big.[(triple1 OR ((triple6) -> rule6) OR ((((triple3 triple4) -> rule1)) -> rule6) OR ((((triple3 ((triple5) -> rule4)) -> rule1)) -> rule6))] Anne is kind.[(triple2 OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple3 triple4) -> rule7)) -> rule5) OR ((((triple3 triple4) -> rule1) triple5) -> rule5) OR ((((triple3 triple4) -> rule1) ((triple3 triple4) -> rule7)) -> rule5) OR ((((triple3 ((triple5) -> rule4)) -> rule1) triple5) -> rule5) OR ((((triple3 ((triple5) -> rule4)) -> rule1) ((triple3 triple4) -> rule7)) -> rule5))] Anne is nice.[(triple3)] Anne is round.[(triple4 OR ((triple5) -> rule4))] Anne is smart.[(triple5 OR ((triple3 triple4) -> rule7))] Anne is young.[(triple6 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple5) -> rule4)) -> rule1))] Bob is big.[(triple7)] Bob is nice.[(triple8)] Charlie is big.[(triple9 OR ((((((((((triple10) -> rule4) triple10) -> rule2) ((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule1)) -> rule6))] Charlie is smart.[(triple10)] Gary is young.[(triple11)] @1: Anne is green.[(((triple4 triple5) -> rule2) OR ((triple4 ((triple3 triple4) -> rule7)) -> rule2) OR ((((triple5) -> rule4) triple5) -> rule2) OR ((((triple5) -> rule4) ((triple3 triple4) -> rule7)) -> rule2))] Charlie is round.[(((triple10) -> rule4))] Gary is big.[(((triple11) -> rule6))] @2: Charlie is green.[(((((triple10) -> rule4) triple10) -> rule2))] @3: Charlie is nice.[(((((((triple10) -> rule4) triple10) -> rule2) ((triple10) -> rule4)) -> rule3))] @4: Charlie is young.[(((((((((triple10) -> rule4) triple10) -> rule2) ((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule1))] @5: Charlie is kind.[(((((((((((triple10) -> rule4) triple10) -> rule2) ((triple10) -> rule4)) -> rule3) ((triple10) -> rule4)) -> rule1) triple10) -> rule5))]