Bob is big. Bob is cold. Bob is nice. Bob is red. Bob is rough. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Charlie is red. Charlie is round. Fiona is cold. Fiona is nice. Fiona is red. Fiona is round. If something is red and rough then it is nice. If something is blue then it is big. Round things are cold. Big, nice things are round. If Charlie is rough then Charlie is big. All nice things are blue. If something is blue then it is round. All big things are rough.
Fiona is not rough.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule6)) -> rule2) OR ((((((triple4 triple5) -> rule1)) -> rule6)) -> rule2))] Bob is cold.[(triple2 OR ((triple6) -> rule3) OR ((((triple1 triple3) -> rule4)) -> rule3) OR ((((((triple3) -> rule6)) -> rule7)) -> rule3) OR ((((triple1 ((triple4 triple5) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple4 triple5) -> rule1)) -> rule6)) -> rule7)) -> rule3) OR ((((triple1 ((triple4 ((triple1) -> rule8)) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule2) triple3) -> rule4)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule2) ((triple4 triple5) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple3) -> rule6)) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple4 ((triple1) -> rule8)) -> rule1)) -> rule6)) -> rule7)) -> rule3) OR ((((((((((triple4 triple5) -> rule1)) -> rule6)) -> rule2) triple3) -> rule4)) -> rule3) OR ((((((((((triple4 triple5) -> rule1)) -> rule6)) -> rule2) ((triple4 triple5) -> rule1)) -> rule4)) -> rule3) OR ((((((((((triple4 triple5) -> rule1)) -> rule6)) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule1)) -> rule4)) -> rule3))] Bob is nice.[(triple3 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple1) -> rule8)) -> rule1))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple1) -> rule8) OR ((((((triple3) -> rule6)) -> rule2)) -> rule8))] Bob is round.[(triple6 OR ((triple1 triple3) -> rule4) OR ((((triple3) -> rule6)) -> rule7) OR ((triple1 ((triple4 triple5) -> rule1)) -> rule4) OR ((((((triple4 triple5) -> rule1)) -> rule6)) -> rule7) OR ((triple1 ((triple4 ((triple1) -> rule8)) -> rule1)) -> rule4) OR ((((((triple3) -> rule6)) -> rule2) triple3) -> rule4) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 triple5) -> rule1)) -> rule4) OR ((((((triple3) -> rule6)) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule1)) -> rule4) OR ((((((triple4 ((triple1) -> rule8)) -> rule1)) -> rule6)) -> rule7) OR ((((((((triple4 triple5) -> rule1)) -> rule6)) -> rule2) triple3) -> rule4) OR ((((((((triple4 triple5) -> rule1)) -> rule6)) -> rule2) ((triple4 triple5) -> rule1)) -> rule4) OR ((((((((triple4 triple5) -> rule1)) -> rule6)) -> rule2) ((triple4 ((triple1) -> rule8)) -> rule1)) -> rule4))] Charlie is big.[(triple7 OR ((triple8) -> rule2))] Charlie is blue.[(triple8 OR ((((triple10 ((triple7) -> rule8)) -> rule1)) -> rule6))] Charlie is cold.[(triple9 OR ((triple11) -> rule3) OR ((((triple8) -> rule7)) -> rule3) OR ((((triple7 ((triple10 ((triple7) -> rule8)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple8) -> rule2) ((triple10 ((triple7) -> rule8)) -> rule1)) -> rule4)) -> rule3) OR ((((((((triple10 ((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule7)) -> rule3) OR ((((triple7 ((triple10 ((((triple8) -> rule2)) -> rule8)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple8) -> rule2) ((triple10 ((((triple8) -> rule2)) -> rule8)) -> rule1)) -> rule4)) -> rule3))] Charlie is red.[(triple10)] Charlie is round.[(triple11 OR ((triple8) -> rule7) OR ((triple7 ((triple10 ((triple7) -> rule8)) -> rule1)) -> rule4) OR ((((triple8) -> rule2) ((triple10 ((triple7) -> rule8)) -> rule1)) -> rule4) OR ((((((triple10 ((triple7) -> rule8)) -> rule1)) -> rule6)) -> rule7) OR ((triple7 ((triple10 ((((triple8) -> rule2)) -> rule8)) -> rule1)) -> rule4) OR ((((triple8) -> rule2) ((triple10 ((((triple8) -> rule2)) -> rule8)) -> rule1)) -> rule4))] Fiona is cold.[(triple12 OR ((triple15) -> rule3) OR ((((((triple13) -> rule6)) -> rule7)) -> rule3) OR ((((((((triple13) -> rule6)) -> rule2) triple13) -> rule4)) -> rule3))] Fiona is nice.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15 OR ((((triple13) -> rule6)) -> rule7) OR ((((((triple13) -> rule6)) -> rule2) triple13) -> rule4))] @1: Bob is blue.[(((triple3) -> rule6) OR ((((triple4 triple5) -> rule1)) -> rule6) OR ((((triple4 ((triple1) -> rule8)) -> rule1)) -> rule6))] Charlie is rough.[(((triple7) -> rule8) OR ((((triple8) -> rule2)) -> rule8))] Fiona is blue.[(((triple13) -> rule6))] @2: Charlie is nice.[(((triple10 ((triple7) -> rule8)) -> rule1) OR ((triple10 ((((triple8) -> rule2)) -> rule8)) -> rule1))] Fiona is big.[(((((triple13) -> rule6)) -> rule2))] @3: Fiona is rough.[(((((((triple13) -> rule6)) -> rule2)) -> rule8))]