Anne is big. Anne is blue. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is young. If something is kind and nice then it is red. All big, nice things are red. All red, nice things are rough. Big, kind things are blue. Kind, young things are red. If something is blue then it is kind. All blue things are nice. If Anne is young then Anne is nice.
Anne is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1 triple3) -> rule4))] Anne is kind.[(triple3 OR ((triple2) -> rule6))] Anne is nice.[(triple4 OR ((triple2) -> rule7) OR ((triple7) -> rule8) OR ((((triple1 triple3) -> rule4)) -> rule7))] Anne is red.[(triple5 OR ((triple1 triple4) -> rule2) OR ((triple3 triple4) -> rule1) OR ((triple3 triple7) -> rule5) OR ((triple1 ((triple2) -> rule7)) -> rule2) OR ((triple1 ((triple7) -> rule8)) -> rule2) OR ((triple3 ((triple2) -> rule7)) -> rule1) OR ((triple3 ((triple7) -> rule8)) -> rule1) OR ((((triple2) -> rule6) triple4) -> rule1) OR ((((triple2) -> rule6) triple7) -> rule5) OR ((((triple2) -> rule6) ((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule6) ((triple7) -> rule8)) -> rule1) OR ((triple1 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule2) OR ((triple3 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) OR ((((triple2) -> rule6) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1))] Anne is rough.[(triple6 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple2) -> rule7)) -> rule3) OR ((triple5 ((triple7) -> rule8)) -> rule3) OR ((((triple1 triple4) -> rule2) triple4) -> rule3) OR ((((triple3 triple4) -> rule1) triple4) -> rule3) OR ((((triple3 triple7) -> rule5) triple4) -> rule3) OR ((((triple1 triple4) -> rule2) ((triple2) -> rule7)) -> rule3) OR ((((triple1 triple4) -> rule2) ((triple7) -> rule8)) -> rule3) OR ((((triple3 triple4) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((triple3 triple4) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((triple3 triple7) -> rule5) ((triple2) -> rule7)) -> rule3) OR ((((triple3 triple7) -> rule5) ((triple7) -> rule8)) -> rule3) OR ((triple5 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple1 ((triple2) -> rule7)) -> rule2) triple4) -> rule3) OR ((((triple1 ((triple7) -> rule8)) -> rule2) triple4) -> rule3) OR ((((triple3 ((triple2) -> rule7)) -> rule1) triple4) -> rule3) OR ((((triple3 ((triple7) -> rule8)) -> rule1) triple4) -> rule3) OR ((((((triple2) -> rule6) triple4) -> rule1) triple4) -> rule3) OR ((((((triple2) -> rule6) triple7) -> rule5) triple4) -> rule3) OR ((((triple1 triple4) -> rule2) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple1 ((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule3) OR ((((triple1 ((triple2) -> rule7)) -> rule2) ((triple7) -> rule8)) -> rule3) OR ((((triple1 ((triple7) -> rule8)) -> rule2) ((triple2) -> rule7)) -> rule3) OR ((((triple1 ((triple7) -> rule8)) -> rule2) ((triple7) -> rule8)) -> rule3) OR ((((triple3 triple4) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple3 triple7) -> rule5) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple3 ((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((triple3 ((triple2) -> rule7)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((triple3 ((triple7) -> rule8)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((triple3 ((triple7) -> rule8)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) triple4) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) triple4) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) triple7) -> rule5) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) triple7) -> rule5) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((triple2) -> rule7)) -> rule1) triple4) -> rule3) OR ((((((triple2) -> rule6) ((triple7) -> rule8)) -> rule1) triple4) -> rule3) OR ((((triple1 ((triple2) -> rule7)) -> rule2) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple1 ((triple7) -> rule8)) -> rule2) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple3 ((triple2) -> rule7)) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple3 ((triple7) -> rule8)) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) triple4) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) triple7) -> rule5) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) ((triple2) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) ((triple2) -> rule7)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((triple7) -> rule8)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) ((triple7) -> rule8)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((triple2) -> rule7)) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) ((triple7) -> rule8)) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple1 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule2) triple4) -> rule3) OR ((((triple3 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) triple4) -> rule3) OR ((((triple1 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule3) OR ((((triple1 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule2) ((triple7) -> rule8)) -> rule3) OR ((((triple3 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((triple3 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) triple4) -> rule3) OR ((((triple1 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule2) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((triple3 ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule6) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) ((triple7) -> rule8)) -> rule3) OR ((((((triple2) -> rule6) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule1) ((((triple1 triple3) -> rule4)) -> rule7)) -> rule3))] Anne is young.[(triple7)] Charlie is big.[(triple8)] Charlie is blue.[(triple9 OR ((triple8 triple10) -> rule4))] Charlie is kind.[(triple10 OR ((triple9) -> rule6))] Charlie is nice.[(triple11 OR ((triple9) -> rule7) OR ((((triple8 triple10) -> rule4)) -> rule7))] Charlie is red.[(triple12 OR ((triple10 triple11) -> rule1) OR ((triple10 triple14) -> rule5) OR ((triple8 triple11) -> rule2) OR ((triple10 ((triple9) -> rule7)) -> rule1) OR ((triple8 ((triple9) -> rule7)) -> rule2) OR ((((triple9) -> rule6) triple11) -> rule1) OR ((((triple9) -> rule6) triple14) -> rule5) OR ((((triple9) -> rule6) ((triple9) -> rule7)) -> rule1) OR ((triple10 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1) OR ((triple8 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule2) OR ((((triple9) -> rule6) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1))] Charlie is rough.[(triple13 OR ((triple12 triple11) -> rule3) OR ((triple12 ((triple9) -> rule7)) -> rule3) OR ((((triple10 triple11) -> rule1) triple11) -> rule3) OR ((((triple10 triple14) -> rule5) triple11) -> rule3) OR ((((triple8 triple11) -> rule2) triple11) -> rule3) OR ((((triple10 triple11) -> rule1) ((triple9) -> rule7)) -> rule3) OR ((((triple10 triple14) -> rule5) ((triple9) -> rule7)) -> rule3) OR ((((triple8 triple11) -> rule2) ((triple9) -> rule7)) -> rule3) OR ((triple12 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple10 ((triple9) -> rule7)) -> rule1) triple11) -> rule3) OR ((((triple8 ((triple9) -> rule7)) -> rule2) triple11) -> rule3) OR ((((((triple9) -> rule6) triple11) -> rule1) triple11) -> rule3) OR ((((((triple9) -> rule6) triple14) -> rule5) triple11) -> rule3) OR ((((triple10 triple11) -> rule1) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple10 triple14) -> rule5) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple10 ((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule3) OR ((((triple8 triple11) -> rule2) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple8 ((triple9) -> rule7)) -> rule2) ((triple9) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) triple11) -> rule1) ((triple9) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) triple14) -> rule5) ((triple9) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) ((triple9) -> rule7)) -> rule1) triple11) -> rule3) OR ((((triple10 ((triple9) -> rule7)) -> rule1) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple8 ((triple9) -> rule7)) -> rule2) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) triple11) -> rule1) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) triple14) -> rule5) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) ((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) ((triple9) -> rule7)) -> rule1) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple10 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1) triple11) -> rule3) OR ((((triple8 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule2) triple11) -> rule3) OR ((((triple10 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule3) OR ((((triple8 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule2) ((triple9) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1) triple11) -> rule3) OR ((((triple10 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((triple8 ((((triple8 triple10) -> rule4)) -> rule7)) -> rule2) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule3) OR ((((((triple9) -> rule6) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule1) ((((triple8 triple10) -> rule4)) -> rule7)) -> rule3))] Charlie is young.[(triple14)]