Anne is rough. Anne is young. Bob is nice. Bob is red. Bob is young. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is smart. Fiona is cold. Fiona is quiet. Cold people are young. Rough, young people are nice. Cold, red people are smart. Red people are smart. If someone is smart and quiet then they are cold. All rough, nice people are red. All red, quiet people are cold. All smart people are quiet.
Bob is rough.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is young.[(triple5 OR ((((triple4 ((((triple4) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule8)) -> rule5)) -> rule1))] Charlie is cold.[(triple6 OR ((triple10 triple7) -> rule5) OR ((triple8 triple7) -> rule7) OR ((triple10 ((triple10) -> rule8)) -> rule5) OR ((triple8 ((triple10) -> rule8)) -> rule7) OR ((((triple8) -> rule4) triple7) -> rule5) OR ((((triple8) -> rule4) ((triple10) -> rule8)) -> rule5) OR ((triple10 ((((triple8) -> rule4)) -> rule8)) -> rule5) OR ((triple8 ((((triple8) -> rule4)) -> rule8)) -> rule7) OR ((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule8)) -> rule5))] Charlie is quiet.[(triple7 OR ((triple10) -> rule8) OR ((((triple8) -> rule4)) -> rule8) OR ((((triple6 triple8) -> rule3)) -> rule8) OR ((((((triple9 ((triple9 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule4)) -> rule8) OR ((((triple6 ((triple9 ((triple9 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule3)) -> rule8))] Charlie is red.[(triple8 OR ((triple9 ((triple9 ((triple6) -> rule1)) -> rule2)) -> rule6) OR ((triple9 ((triple9 ((((triple10 triple7) -> rule5)) -> rule1)) -> rule2)) -> rule6) OR ((triple9 ((triple9 ((((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1)) -> rule2)) -> rule6))] Charlie is rough.[(triple9)] Charlie is smart.[(triple10 OR ((triple8) -> rule4) OR ((triple6 triple8) -> rule3) OR ((((triple8 triple7) -> rule7) triple8) -> rule3) OR ((((triple9 ((triple9 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((triple6 ((triple9 ((triple9 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((triple8 triple7) -> rule7) ((triple9 ((triple9 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule3))] Fiona is cold.[(triple11)] Fiona is quiet.[(triple12)] @1: Anne is nice.[(((triple1 triple2) -> rule2))] Bob is smart.[(((triple4) -> rule4))] Charlie is young.[(((triple6) -> rule1) OR ((((triple10 triple7) -> rule5)) -> rule1) OR ((((triple8 triple7) -> rule7)) -> rule1) OR ((((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1) OR ((((triple8 ((triple10) -> rule8)) -> rule7)) -> rule1) OR ((((((triple8) -> rule4) triple7) -> rule5)) -> rule1) OR ((((((triple8) -> rule4) ((triple10) -> rule8)) -> rule5)) -> rule1) OR ((((triple10 ((((triple8) -> rule4)) -> rule8)) -> rule5)) -> rule1) OR ((((triple8 ((((triple8) -> rule4)) -> rule8)) -> rule7)) -> rule1) OR ((((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule8)) -> rule5)) -> rule1))] Fiona is young.[(((triple11) -> rule1))] @2: Anne is red.[(((triple1 ((triple1 triple2) -> rule2)) -> rule6))] Bob is quiet.[(((((triple4) -> rule4)) -> rule8))] Charlie is nice.[(((triple9 ((triple6) -> rule1)) -> rule2) OR ((triple9 ((((triple10 triple7) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple8 triple7) -> rule7)) -> rule1)) -> rule2) OR ((triple9 ((((triple10 ((triple10) -> rule8)) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple8 ((triple10) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((triple9 ((((((triple8) -> rule4) triple7) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((((triple8) -> rule4) ((triple10) -> rule8)) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple10 ((((triple8) -> rule4)) -> rule8)) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple8 ((((triple8) -> rule4)) -> rule8)) -> rule7)) -> rule1)) -> rule2) OR ((triple9 ((((((triple8) -> rule4) ((((triple8) -> rule4)) -> rule8)) -> rule5)) -> rule1)) -> rule2))] @3: Anne is smart.[(((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule4))] Bob is cold.[(((triple4 ((((triple4) -> rule4)) -> rule8)) -> rule7) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule8)) -> rule5))] @4: Anne is quiet.[(((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule4)) -> rule8))] @5: Anne is cold.[(((((triple1 ((triple1 triple2) -> rule2)) -> rule6) ((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule4)) -> rule8)) -> rule7) OR ((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule4) ((((((triple1 ((triple1 triple2) -> rule2)) -> rule6)) -> rule4)) -> rule8)) -> rule5))]